[IEEE 2003 1st IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2003) - Mont Saint Michel, France (2003.06.24-2003.06.26)] First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. - Verification of control properties in the polyhedral model
Cachera, D., Morin-Allory, K.Year:
2003
Language:
english
DOI:
10.1109/memcod.2003.1210111
File:
PDF, 497 KB
english, 2003