Model Checking
Zusammenfassung
Die Gewährleistung der korrekten
Funktionsweise von Hard- und Software ist ein entscheidender
Faktor bei der heutigen Systementwicklung. Dies trifft ganz
besonders auf das Gebiet der sog. „sicherheitskritischen“
Systeme zu, bei dem ein Systemversagen Menschenleben gefährden
kann.
- Vollständige Referenz
- BibTeX
Buschermöhle, R., Brörkens, M., Brückner, I., Damm, W., Hasselbring, W., Josko, B., Schulte, C. & Wolf, T.,
(2004).
Model Checking.
Informatik-Spektrum: Vol. 27, No. 2.
Berlin Heidelberg:
Springer-Verlag.
(S. 146-158).
DOI: 10.1007/s00287-004-0381-1
@article{mci/Buschermöhle2004,
author = {Buschermöhle, Ralf AND Brörkens, Mark AND Brückner, Ingo AND Damm, Werner AND Hasselbring, Wilhelm AND Josko, Bernhard AND Schulte, Christoph AND Wolf, Thomas},
title = {Model Checking},
journal = {Informatik-Spektrum},
volume = {27},
number = {2},
year = {2004},
,
pages = { 146-158 } ,
doi = { 10.1007/s00287-004-0381-1 }
}
author = {Buschermöhle, Ralf AND Brörkens, Mark AND Brückner, Ingo AND Damm, Werner AND Hasselbring, Wilhelm AND Josko, Bernhard AND Schulte, Christoph AND Wolf, Thomas},
title = {Model Checking},
journal = {Informatik-Spektrum},
volume = {27},
number = {2},
year = {2004},
,
pages = { 146-158 } ,
doi = { 10.1007/s00287-004-0381-1 }
}
Sollte hier kein Volltext (PDF) verlinkt sein, dann kann es sein, dass dieser aus verschiedenen Gruenden (z.B. Lizenzen oder Copyright) nur in einer anderen Digital Library verfuegbar ist. Versuchen Sie in diesem Fall einen Zugriff ueber die verlinkte DOI: 10.1007/s00287-004-0381-1
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken
Mehr Information
ISSN: 1432-122X
Datum: 2004
Typ: Text/Journal Article