From Data to Events: Checking Properties on the Control of a System

2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2008.4547682 ◽

2008 ◽

Author(s):

Christophe Jacquet ◽

Frederic Boulanger ◽

Dominique Marcadet

Download Full-text