|
DSpace at RU >
University Library >
Academic bibliography >
Files in This Item:
| File |
Description |
Size | Format |
|---|
 | preprint version | 668.97 kB | Adobe PDF | View/Open |
|
| Title: | Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset |
| Author(s): | Basten, T.
Benthum, E. van
Geilen, M.
Hendriks, M. (217539319)
Houben, F.
Igna, G.
Reckers, F.
Smet, S. de
Somers, L.
Teeselink, E.
Trcka, N.
Vaandrager, F. (07206806X)
Verriet, J.
Voorhoeve, M.
Yang, Y. (298210185) |
| Publication year: | 2010 |
| Document type: | Part of book or chapter of book |
| Book title: | Margaria, T.;Steffen, B. (ed.), Leveraging Applications of Formal Methods, Verification, and Validation |
| ISBN: | 978364216558010 |
| Start page: | p. 90 |
| End page: | p. 105 |
| Series: | Lecture Notes in Computer Science ; 6415 |
| Publisher: | Berlin : Springer |
| Related link(s): | http://dx.doi.org/10.1007/978%2D3%2D642%2D16558%2D0_10 |
| Annotation: | Scientific publication |
| Subject: | Model Based System Development |
| Organization: | 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/83774
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
|
