Case study : Verification of a real time operating system

Einordnung

Konferenz:

Internationales Wissenschaftliches Kolloquium. Technische Universität Ilmenau ; 55 (Ilmenau) : 2010.09.13-17

Verlag, Verleger(in):

GND

16003365-2

ilmedia

Erschienen in:

Crossing Borders within the ABC : Automation, Biomedical Engineering and Computer Science
Bd. 55, 2010 (20.12.2010), S. 714-719

Original:

Band:

55, 2010

Datum der Erstellung:

20.12.2010

Datum der Veröffentlichung:

20.12.2010

PPN:

64080196X

Sprache:

Englisch

Ressourcentyp:

Text

Umfang:

8 Seiten

Erscheinungsort:

Ilmenau

Klassifikation:

Klasse A

Klassifikation:

55. IWK (2010)

Klassifikation:

für Harvesting bereitgestellt

DDC-Sachgruppe der DNB:

004 Informatik

Einrichtung:

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