ISSE

Search

Structured Formal Development in VSE II: The Robertino Case Study

G. Rock, W. Stephan, A. Wolpers, M. Balser, W. Reif, and S. Scheer

Structured Formal Development in VSE II: The Robertino Case Study

published 1999 Francesca Saglietti and Wolfgang Goerigk, editors, Sicherheit und Zuverlaessigkeit software-basierter Systeme

Publisher: ITSec


Downloads: