Login
Dokumenttyp:
Sammelbandbeitrag / Paper in Collective Volume
Titel:
Symbolic Performance and Dependability Evaluation with the Tool CASPA
Titel Sammlung:
Applying Formal Methods: Testing, Performance and M/E Commerce
Untertitel Sammlung:
FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings
Herausgeber Sammlung:
Núñez, Manuel; Maamar, Zakaria; Pelayo, Fernando L.; Pousttchi, Key; Rubio, Fernando
Reihentitel:
Lecture Notes in Computer Science
Bandnummer Reihe:
3236
Verlagsort:
Berlin ; Heidelberg
Verlag:
Springer
Jahr:
2004
Seiten von - bis:
293-307
Sprache:
Englisch
ISBN:
978-3-540-23169-1 ; 978-3-540-30233-9
Fakultät:
Fakultät für Informatik
Institut:
INF 3 - Institut für Technische Informatik
Professur:
Siegle, Markus
Open Access ja oder nein?:
Nein / No
BibTeX