dblp.uni-trier.dewww.uni-trier.de

Frank Salger

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
6EEFrank Salger, Stefan Sauer, Gregor Engels: Integrated specification and quality assurance for large business information systems. ISEC 2009: 129-130
2008
5EEFrank Salger, Marcel Bennicke, Gregor Engels, Claus Lewerentz: Comprehensive Architecture Evaluation and Management in Large Software-Systems. QoSA 2008: 205-219
2004
4EEMila E. Majster-Cederbaum, Frank Salger: Towards the hierarchical verification of reactive systems. Theor. Comput. Sci. 318(3): 243-296 (2004)
2000
3 Mila E. Majster-Cederbaum, Frank Salger, Maria Sorea: A Priori Verification of Reactive Systems. FORTE 2000: 35-50
2 Mila E. Majster-Cederbaum, Frank Salger: Correctness by Construction: Towards Verification in Hierarchical System Development. SPIN 2000: 163-180
1999
1EEMila E. Majster-Cederbaum, Frank Salger: A Verification Technique Based on Syntactic Action Refinement in a TCSP-like Process Algebra and the Hennessy-Milner-Logic. ASIAN 1999: 379-380

Coauthor Index

1Marcel Bennicke [5]
2Gregor Engels [5] [6]
3Claus Lewerentz [5]
4Mila E. Majster-Cederbaum [1] [2] [3] [4]
5Stefan Sauer [6]
6Maria Sorea [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)