ISSE

Search

The VSE Development Method - A Way to Engineer High-Assurance Software Systems

D. Hutter, B. Langenstein, F. Koob, W. Reif, C. Sengler, W. Stephan, M. Ullmann, M. Wittmann, and A. Wolpers

The VSE Development Method - A Way to Engineer High-Assurance Software Systems

published 1995 in: Universität Kaiserslautern Bredereke Gotzheim, editor, GI/ITG Tagung Formale Beschreibungstechniken für verteilte Systeme