Model generation for the verification of automatically generated mechatronic control software

Title

Model generation for the verification of automatically generated mechatronic control software

 Author

Foeken, M.J.
Voskuijl, M.
Alvarez Cabrera, A.A.
van Tooren, M.J.L.

Faculty

Aerospace Engineering

 Date

2008

 To reference this document use:

http://resolver.tudelft.nl/uuid:5294e5fd-373d-44cd-ad19-d8a7ff4be919

 Publisher

IEEE

 ISBN

978-1-4244-2367-5

 Source

Proceedings of 2008 IEEE/ASME International conference on mechatronic and embedded systems and applications, MESA 2008, Beijing, China, October 12-15, (2008), p. 275-280

 Part of collection

Institutional Repository

 Document type

conference paper

 Rights

(c) 2008 IEEE; Foeken, M.J.; Voskuijl, M.; Alvarez Cabrera, A.A.; van Tooren, M.J.L.
Files
PDF MTS_123973591234790393.pdf 732.42 KB
Close viewer