|
On Developing Correct Reactive Systems by Syntatically Refining Temporal Specifications
Majster-Cederbaum, Mila
;
Salger, Frank
|
Dokumenttyp:
|
Konferenzveröffentlichung
|
|
Erscheinungsjahr:
|
2001
|
|
Buchtitel:
|
FMICS 2001, Formal Methods for Industrial Critical Systems : proceedings of the 6th International Workshop on Formal Methods for Industrial Critical Systems
|
|
Titel einer Zeitschrift oder einer Reihe:
|
Proceedings of the 6th International Workshop on Formal Methods for Industrial Critical Systems
|
|
Seitenbereich:
|
63-78
|
|
Veranstaltungsort:
|
Paris
|
|
Veranstaltungsdatum:
|
16-17 July 2001
|
|
Ort der Veröffentlichung:
|
New York, NY
|
|
Verlag:
|
Assoc. for Computing Machinery
|
|
Sprache der Veröffentlichung:
|
Deutsch
|
|
Einrichtung:
|
Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Praktische Informatik II (Majster-Cederbaum -2005, Em)
|
|
Fachgebiet:
|
004 Informatik
|
|
Zusätzliche Informationen:
|
Online Ressource
|
 | Dieser Eintrag ist Teil der Universitätsbibliographie. |
 Suche Autoren in
Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail
Actions (login required)
 |
Eintrag anzeigen |
|
|
