Modal event-clock specifications for timed component-based design

Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet. Modal event-clock specifications for timed component-based design. Science of Computer Programming, 77(12):1212-1234, 2012. [doi]

Authors

Nathalie Bertrand

This author has not been identified. Look up 'Nathalie Bertrand' in Google

Axel Legay

This author has not been identified. Look up 'Axel Legay' in Google

Sophie Pinchinat

This author has not been identified. Look up 'Sophie Pinchinat' in Google

Jean-Baptiste Raclet

This author has not been identified. Look up 'Jean-Baptiste Raclet' in Google