Titel |
Effective Correctness Criteria for Real-time Requirements / Amalinda Christina Post |
|---|---|
Beteiligt |
Amalinda Christina Post (Verfasser) |
Erschienen |
Aachen: Shaker |
Ausgabe |
1. Aufl., neue Ausg. |
Umfang |
Online-Ressource : 26 Ill. |
Hochschulschrift |
Zugl.: Albert-Ludwigs-Universität Freiburg im Breisgau, Diss., 2011 |
ISBN |
978-3-8440-0910-1 |
Sprache |
|
Land |
|
Themengebiet |
|
Thema |
Kraftfahrzeugtechnik, Anforderungsdefinition, Echtzeitsystem, Requirements engineering, Systemanalyse, Natürliche Sprache, Formalisierung, Korrektheit |
DDC-Notation |
|
Reihe |
Berichte aus der Informatik |
Andere Ausgaben |
Erscheint auch als Druck-Ausgabe: Effective correctness criteria for real-time requirements |
Persistent Identifier |
|
Weitere Angaben |
Lizenzpflichtig |
Datensatz-ID |
1069046647 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: