Hüsener, Thomas: Entwurf komplexer Echtzeitsysteme
: state of the art / von Thomas Hüsener. - Mannheim : BI-Wiss.-Verl., 1994. - 359 S. : graph. Darst.; 22 cm - (Angewandte Informatik; Bd. 11)
ISBN 978-3-411-16441-7 / 3-411-16441-7 Pp. : DM 84.00
Literaturangaben
Quelle: DNB
Koycheva, Evelina: Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und generalisierten Netzen
/ von Evelina Koycheva. - München : Oldenbourg, 2013. - XVI, 305 S. : Ill., graph. Darst.; 25 cm
ISBN 978-3-486-71526-2 / 3-486-71526-7 kart. : EUR 59.80 (DE), EUR 61.50 (AT), sfr 79.00 (freier Pr.)
Quelle: DNB Verlagsmeldungen
Mahalik, Nitaigour Premchand: Fieldbus technology
: industrial network standards for real time distributed control / N. P. Mahalik. - Berlin : Springer, 2003. - XXXI, 590 S. : graph. Darst.; 24 cm
ISBN 978-3-540-40183-4 / 3-540-40183-0 Pp. : EUR 160.45
Literaturangaben
Quelle: DNB
Formal methods and hybrid real-time systems
: essays in honor of Dines Bjørner and Chaochen Zhou on the occasion of their 70th birthdays / Cliff B. Jones ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4700)
ISBN 978-3-540-75221-9
Lizenzpflichtig
Quelle: DNB
Formal methods for real time and probabilistic systems
: proceedings / 5th International AMAST Workshop, ARTS '99, Bamberg, Germany, May 1999. J.-P. Katoen (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1601)
ISBN 978-3-540-48778-4
Lizenzpflichtig
Quelle: DNB
Formal methods for the design of real time systems
: revised lectures / International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13 - 18, 2004. Marco Bernardo ; Flavio Corradini (ed.). - Berlin : Springer, 2004. - VI, 293 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3185 : Tutorial)
ISBN 978-3-540-23068-7 / 3-540-23068-8 kart. : EUR 49.22 (freier Pr.), sfr 84.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal modeling and analysis of timed systems
: first international workshop ; revised papers / FORMATS 2003, Marseille, France, September 6 - 7, 2003. Ed.: Kim G. Larsen .... - [Berlin : [Springer], 2004. - Online-Ressource - ([Lecture notes in computer science]; [2791])
ISBN 978-3-540-40903-8
Titel aus Metadaten. - Lizenzpfichtig
Quelle: DNB
Formal modeling and analysis of timed systems
: first international workshop ; revised papers / FORMATS 2003, Marseille, France, September 6 - 7, 2003. Kim G. Larsen ; Peter Niebert (ed.). - Berlin : Springer, 2004. - VIII, 280 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2791)
ISBN 978-3-540-21671-1 / 3-540-21671-5 kart. : EUR 48.15 (freier Pr.), sfr 82.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal modeling and analysis of timed systems
: 6th international conference ; proceedings / FORMATS 2008, Saint Malo, France, September 15 - 17, 2008. Franck Cassez ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5215)
ISBN 978-3-540-85778-5
Lizenzpflichtig
Quelle: DNB
Formal modeling and analysis of timed systems
: 5th international conference ; proceedings / FORMATS 2007, Salzburg, Austria, October 3 - 5, 2007. Jean-François Raskin ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4763)
ISBN 978-3-540-75454-1
Lizenzpflichtig
Quelle: DNB
