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
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 Em)
Fachgebiet: 004 Informatik
Zusätzliche Informationen: Online Ressource

Dieser Eintrag ist Teil der Universitätsbibliographie.




+ Zitationsbeispiel und Export

Majster-Cederbaum, Mila ; Salger, Frank (2001) On Developing Correct Reactive Systems by Syntatically Refining Temporal Specifications. In: FMICS 2001, Formal Methods for Industrial Critical Systems : proceedings of the 6th International Workshop on Formal Methods for Industrial Critical Systems 2001 New York, NY [Konferenzveröffentlichung]



+ Suche Autoren in

+ Aufruf-Statistik

Aufrufe im letzten Jahr

Detailierte Angaben



Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail


Actions (login required)

Eintrag anzeigen Eintrag anzeigen