Personen - MADOC

Gruppieren nach: Dokumenttyp | Erscheinungsjahr | Keine Sortierung

Anzahl der Einträge: 8.

Majster-Cederbaum, Mila ; Salger, Frank (2004) Towards the Hierarchical Development of Reactive Systems. Theoretical Computer Science Berlin [u.a.] 318 3 243-296 [Zeitschriftenartikel]

Salger, Frank (2001) Verification in the Hierarchical Development of Reactive Systems.

None [Dissertation]

Vorschau

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]

Majster-Cederbaum, Mila ; Salger, Frank Correctness by Construction: Towards Verification in Hierarchical System Development. Havelund, Klaus Lecture Notes in Computer Science 1885 163-180 In: SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000; proceedings (2000) Berlin [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Salger, Frank (1999) On syntactic action refinement and logic.

Technical Reports Mannheim 99-007 [Arbeitspapier]

Vorschau

Majster-Cederbaum, Mila ; Salger, Frank A Verification Technique Based on Syntactic Action Refinement in a TCSP-Process-Algebra and the Hennessy Milner Logic. Thiagarajan, Pazhamaneri S. Lecture Notes in Computer Science 1742 379-380 In: Advances in computing science - ASIAN '99 : proceedings / 5th Asian Computing Science Conference, Phuket, Thailand, December 10 - 12, 1999 (1999) Berlin [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Salger, Frank Syntactic action refinement in the modal Mu-Calculus and its application to the verification of reactive systems. Victor, Björn Technical report / Department of Information Technology, Uppsala University 99/008 In: NWPT'99 : The 11th Nordic Workshop on Programming Theory, Uppsala University, Sweden, October 6-8 1999 ; proceedings (1999) Uppsala [Konferenzveröffentlichung]

Diese Liste wurde am Thu Nov 21 01:36:06 2024 CET automatisch erstellt.

Zitation