CASPA: A Tool for Symbolic Performance and Dependability Evaluation

Matthias Kuntz, Markus Siegle, Edith Werner
Document Type: 
Articles in Conference Proceedings
Booktitle: 
Applying Formal Methods: Testing, Performance, and M/E-Commerce
Publisher: 
Springer
Pages: 
90-91
Month: 
6
Year: 
2004
2011 © Software Engineering For Distributed Systems Group

Main menu 2