Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2008
Mader, A.H. and Wupper, H. and Boon, M. and Marincic, J.
(2008)
A Taxonomy of Modelling Decisions for Embedded Systems Veri?cation.
Technical Report TR-CTIT-08-37,
Centre for Telematics and Information Technology University of Twente, Enschede.
ISSN 1381-3625
2007
Mader, A.H. and Wupper, H. and Boon, M.
(2007)
The Construction of Verification Models for Embedded Systems.
Technical Report TR-CTIT-07-02,
Centre for Telematics and Information Technology University of Twente, Enschede.
ISSN 1381-3625
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||