Fortuna: Model Checking Priced Probabilistic Timed Automata

Files in This Item:

File	Description	Size	Format
	publisher's version	311.72 kB	Adobe PDF	Under Embargo until further notice

Title:	Fortuna: Model Checking Priced Probabilistic Timed Automata
Author(s):	Berendsen, J. (296908274) Jansen, D.N. (215676866) Vaandrager, F.W. (07206806X)
Publication year:	2010
Document type:	Article in monograph or in proceedings
Book title:	(ed.), Qest 2010 : Proceedings Seventh International Conference on the Quantitative Evaluation of Systems QEST 2010 15-18 September 2010 Williamsburg, Virginia, USA
ISBN:	9780769541884
Start page:	p. 273
End page:	p. 281
Publisher:	Los Alamitos : IEEE Computer Society
Related link(s):	http://doi.ieeecomputersociety.org/10.1109/QEST.2010.41
Annotation:	Qest 2010, 15 september 2010
Subject:	Model Based System Development
Organization:	Informatics for Technical Applications Model Based System Development
Appears in Collections:	Academic bibliography

Please use this identifier to cite or link to this item: http://hdl.handle.net/2066/83478