Prospects for hardware foundations
: survey chapters / ESPRIT Working Group 8533 NADA - New Hardware Design Methods. Bernhard Möller ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1546)
ISBN 978-3-540-49254-2
Lizenzpflichtig
Quelle: DNB
Runtime verification
: 8th international workshop ; selected papers / RV 2008, Budapest, Hungary, March 30, 2008. Martin Leucker (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5289)
ISBN 978-3-540-89247-2
Lizenzpflichtig
Quelle: DNB
Eveking, Hans: Verifikation digitaler Systeme
: eine Einführung in den Entwurf korrekter digitaler Systeme / von Hans Eveking. - Stuttgart : Teubner, 1991. - XII, 308 S. : graph. Darst.; 23 cm - (Leitfäden und Monographien der Informatik)
ISBN 978-3-519-02249-7 / 3-519-02249-4 kart. : DM 46.00
Literaturverz. S. 293 - 302
Quelle: DNB