Formale Spezifikation, Validation und Testfallgenerierung für verteilte Systeme am Beispiel des Intelligent Application Protocols

Document Type: 
Presentations
Organization: 
BTU Cottbus
Address: 
Cottbus, Germany
Month: 
6
Year: 
2001
2020 © Software Engineering For Distributed Systems Group

Main menu 2