Fulltext present in this item

Thumbnail
Fulltext: 83774.pdf
Format: PDF
Description: preprint version
Embargo: until further notice
Title: Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset
Author(s): Basten, T.; Benthum, E. van; Geilen, M.; Hendriks, M. ; Houben, F.; Igna, G.; Reckers, F.; Smet, S. de; Somers, L.; Teeselink, E.; Trcka, N.; Vaandrager, F. ; Verriet, J.; Voorhoeve, M.; Yang, Y.
Publication year: 2010
In: Margaria, T.; Steffen, B. (ed.), Leveraging Applications of Formal Methods, Verification, and Validation, pp. 90-105
Publisher: Berlin : Springer
ISBN: 978364216558010
Series: Lecture Notes in Computer Science ; 6415
DOI: http://dx.doi.org/10.1007/978-3-642-16558-0_10
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/83774   http://hdl.handle.net/2066/83774

Display more details
Editor(s): Margaria, T.; Steffen, B.
Subject: Software Science
Organization: Software Science
Book title: Margaria, T.; Steffen, B. (ed.), Leveraging Applications of Formal Methods, Verification, and Validation
Page start: p. 90
Page end: p. 105

This item appears in the following Collection(s)

Browse

Statistics