Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Georgios Logothetis
Themen in »Specification, Modelling, Verification and Runtime Analysis of Real Time Systems«
Formal Verification Real Time Systems Runtime Analysis Synchronous Languages
Stimmen zu »Specification, Modelling, Verification and Runtime Analysis of Real Time Systems«
Details
ISBN: 9783898382809
Verlag: Akademische Verlagsgesellschaft AKA
Erscheinung: 05.04.2004