[IEEE 2012 10th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2012) - Arlington, VA, USA (2012.07.16-2012.07.17)] Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012) - Direct generation of invariants for reactive models
Leonard, Elizabeth I., Archer, Myla M., Heitmeyer, Constance L., Jeffords, Ralph D.Année:
2012
Langue:
english
DOI:
10.1109/memcod.2012.6292308
Fichier:
PDF, 410 KB
english, 2012