Verification of digital and hybrid systems: proceedings of the NATO Advanced Study Institute on Veri… - SLUB Dresden

Medientyp: Buch; Konferenzbericht

Titel: Verification of digital and hybrid systems : [proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26 - June 6, 1997]

Beteiligte: İnan, M. Kemal [Herausgeber:in]; Kurshan, Robert P. [Sonstige Person, Familie und Körperschaft]

Veranstaltung: Advanced Study Institute on Verification of Digital and Hybrid Systems

Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2000

Umfang: XVIII, 405 S.; graph. Darst; 24 cm

Sprache: Englisch

ISBN: 3540655956

RVK-Notation: ST 140 : Semantik von Programmiersprachen
SS 1997 : Veranstaltungsjahr 1997

Schlagwörter: Digitales System > Verifikation > Model Checking
Hybrides System > Verifikation > Modellierung
Verifikation > Datenverarbeitungssystem

Entstehung:

Anmerkungen: Includes bibliographical references

Weitere Bestandsnachweise
0 : NATO ASI series / F

Verification of digital and hybrid systems

Merkliste

Exemplare

Bereichsbibliothek DrePunct – Freihand

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Bereichsbibliothek DrePunct – Freihand