Anzahl der Einträge: 1.
2001
Majster-Cederbaum, Mila ; Salger, Frank
On Developing Correct Reactive Systems by Syntatically Refining Temporal Specifications.
Proceedings of the 6th International Workshop on Formal Methods for Industrial Critical Systems
63-78
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
(Paris)
[Konferenzveröffentlichung]
|
|
Diese Liste wurde am Thu May 2 03:32:57 2024 CEST automatisch erstellt.