Fulltext present in this item

Thumbnail
Fulltext: 116991.pdf
Format: PDF
Description: preprint version
Embargo: until further notice
Title: Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems
Author(s): Boudjadar, A.; Vaandrager, F.W. ; Bodeveix, J.-P.; Filali, M.
Publication year: 2013
In: Arbab, F. (ed.), Fundamentals of Software Engineering : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers, pp. 111-132
Publisher: Berlin : Springer
ISBN: 9783642402128
Series: Lecture Notes in Computer Science ; 8161
DOI: http://dx.doi.org/10.1007/978-3-642-40213-5_8
Publication type: Part of book or chapter of book

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

Display more details
Editor(s): Arbab, F.
Subject: Software Science
Organization: Software Science
Book title: Arbab, F. (ed.), Fundamentals of Software Engineering : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
Page start: p. 111
Page end: p. 132

This item appears in the following Collection(s)

Browse

Statistics