Tool support for formal system verification

Einordnung

Konferenz:

Internationales Wissenschaftliches Kolloquium. Technische Universität Ilmenau, Faculty of Computer Science and Automation ; 52 (Ilmenau) : 2007.09.10-13

Verlag, Verleger(in):

ilmedia ^GND

Erschienen in:

Computer science meets automation
Vol. 52, 2007, Vol. 2(10.09.2007), S. 137-142

Band:

52, 2007, Vol. 2

Datum der Erstellung:

10.09.2007

Datum der Veröffentlichung:

10.09.2007

PPN:

54592992X

Sprache:

Englisch

Ressourcentyp:

Text

Umfang:

20 Seiten

Erscheinungsort:

Ilmenau

Klassifikation:

Klasse A

Klassifikation:

für Harvesting bereitgestellt

Klassifikation:

52. IWK (2007)

DDC-Sachgruppe der DNB:

004 Informatik

Einrichtung:

Technische Universität Ilmenau, Fakultät für Informatik und Automatisierung