Back to overview
Export results as [feed] RSS 1.0 [feed] RSS 2.0
Order by: Document Type | Year of publication | No order
Number of items: 8.

Article

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

Doctoral dissertation

Salger, Frank (2001) Verification in the Hierarchical Development of Reactive Systems. Open Access None [Doctoral dissertation]
[img]
Preview

Conference or workshop publication

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) [Conference or workshop publication]

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. [Conference or workshop publication]

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.] [Conference or workshop publication]

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.] [Conference or workshop publication]

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 [Conference or workshop publication]

Working paper

Majster-Cederbaum, Mila ; Salger, Frank (1999) On syntactic action refinement and logic. Open Access Technical Reports Mannheim 99-007 [Working paper]
[img]
Preview

This list was created automatically on Sat Nov 27 06:36:01 2021 CET