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.




Metadaten-Export


Zitation


+ Suche Autoren in

+ Aufruf-Statistik

Aufrufe im letzten Jahr

Detaillierte Angaben



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


Actions (login required)

Eintrag anzeigen Eintrag anzeigen