Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
CASPA
Untertitel:
A Tool for Symbolic Performance and Dependability Evaluation
Titel Sammlung:
Supplemental Volume of the Proc. of The Int. Conf. on Dependable Systems and Networks
Herausgeber Sammlung:
Núñez, Manuel; Maamar, Zakaria; Pelayo, Fernando L.; Pousttchi, Key; Rubio, Fernando
Titel Konferenzpublikation:
Applying Formal Methods: Testing, Performance, and M/E-Commerce
Untertitel Konferenzpublikation:
FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004
Reihentitel:
Lecture Notes in Computer Science
Bandnummer Reihe:
3236
Konferenztitel:
International Conference on Dependable Systems and Networks (2004, Toledo)
Tagungsort:
Toledo, Spain
Jahr der Konferenz:
2004
Datum Beginn der Konferenz:
01.10.2004
Datum Ende der Konferenz:
02.10.2004
Verlagsort:
Berlin ; Heidelberg
Verlag:
Springer
Jahr:
2004
Seiten von - bis:
90-91
Sprache:
Englisch
ISBN:
978-3-540-23169-1 ; 978-3-540-30233-9
DOI:
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