Anzahl der Einträge: 8.
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]
|
|
Majster-Cederbaum, Mila ; Salger, Frank ; Sorea, Maria
A priori verification of reactive systems.
Bolognesi, Tommaso
IFIP Advances in Information and Communication Technology
55
35-50
In: Formal Methods for Distributed System Development : FORTE / PSTV 2000 IFIP TC6 WG6, FORTE XIII and PSTV XX, October 10-13, 2000, Pisa, Italy
(2000)
Boston, Mass.
[Konferenzveröffentlichung]
|
|
Diese Liste wurde am Sat Aug 17 01:32:35 2024 CEST automatisch erstellt.
|