Tool support for formal system verification

Category

Conference:

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

Publisher:

ilmedia ^GND

Published in:

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

Original:

Volume:

52, 2007, Vol. 2

Date Created:

10.09.2007

Date Issued:

10.09.2007

PPN:

54592992X

Language:

English

Type of Resource:

Text

Extent:

20 Seiten

Place Term:

Ilmenau

Classification:

Klasse A

Classification:

für Harvesting bereitgestellt

Classification:

52. IWK (2007)

DDC subject of DNB:

004 Data processing Computer sciences

Hosting institution:

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