MBMV 2022
: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 25. Workshop, 17.-18. Februar 2022, Hochschule Niederrhein, Online-Veranstaltung / Tagungsleitung: Prof. Dr.-Ing. Jens Brandt, Hochschule Niederrhein. - Berlin : VDE VERLAG GMBH, 2022. - 1 CD-ROM : Illustrationen; 56 g - (ITG-Fachbericht; 302)
ISBN 978-3-8007-5754-1 / 3-8007-5754-0 : EUR 48.00 (DE), EUR 48.00 (AT)
Quelle: DNB
MBMV 2023
: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 26. Workshop, 23.-24. März 2023 in Freiburg / Tagungsleitung: Prof. Dr. Armin Biere, Universität Freiburg. - Berlin : VDE VERLAG GMBH, 2023. - 1 CD-ROM; 56 g - (ITG-Fachbericht; 309)
ISBN 978-3-8007-6065-7 / 3-8007-6065-7 : EUR 69.00 (DE), EUR 69.00 (AT)
Quelle: DNB
MBMV 2024
: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 27. Workshop, 14.-15.Februar 2024 in Kaiserslautern / Tagungsleitung: Prof. Dr.-Ing. Wolfgang Kunz, RPTU Kaiserslautern-Landau. - Berlin : VDE VERLAG GmbH, 2024. - 1 CD-ROM : Illustrationen; 58 g - (ITG-Fachbericht; 314)
ISBN 978-3-8007-6267-5 / 3-8007-6267-6 : EUR 119.00 (DE), EUR 119.00 (AT)
Quelle: DNB
Model based testing of reactive systems
: advanced lectures / Manfred Broy ... (ed.). - Berlin : Springer, 2005. - VIII, 659 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3472 : Tutorial)
ISBN 978-3-540-26278-7 / 3-540-26278-4 kart. : EUR 73.83 (freier Pr.), sfr 122.00 (freier Pr.)
Literaturverz. S. 617 - 651
Quelle: DNB Verlagsmeldungen
Model based testing of reactive systems
: advanced lectures / Manfred Broy ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3472)
ISBN 978-3-540-32037-1
Lizenzpflichtig
Quelle: DNB
Modeling and verification of parallel processes
: 4th summer school ; revised tutorial lectures / MOVEP 2000, Nantes, France, June 19 - 23, 2000. F. Cassez ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2067)
ISBN 978-3-540-45510-3
Lizenzpflichtig
Quelle: DNB
Fokkink, Willem J.: Modelling distributed systems
: with 7 tables / Wan Fokkink. - Berlin : Springer, 2007. - VIII, 151 S. : graph. Darst.; 24 cm - (Texts in theoretical computer science)
ISBN 978-3-540-73937-1 / 3-540-73937-8 Pp. : EUR 53.45, ca. sfr 87.00 (freier Pr.)
Literaturverz. S. 143 - 148
Quelle: DNB Verlagsmeldungen
Cremers, Cas: Operational semantics and verification of security protocols
/ Cas Cremers ; Sjouke Mauw. - Heidelberg : Springer, 2012. - XIII, 172 S.; 24 cm - (Information security and cryptography)
ISBN 978-3-540-78635-1 Pp. : ca. EUR 53.45 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Godefroid, Patrice: Partial order methods for the verification of concurrent systems
: an approach to the state explosion problem / Patrice Godefroid. - Berlin : Springer, 1996. - 142 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1032)
ISBN 978-3-540-60761-8 / 3-540-60761-7 kart. : DM 38.00
Literaturverz. S. 133 - 142
Quelle: DNB
Schieferdecker, Ina: Performance oriented specification of communication protocols and verification of deterministics bounds of their QoS characteristics
/ Ina Kathrin Schieferdecker. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1995. - 256 S. : graph. Darst.; 23 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 242)
ISBN 978-3-486-23328-5 / 3-486-23328-9 kart. : ca. DM 70.00, ca. sfr 70.00, ca. S 546.00
Quelle: DNB
