Search - ENSTA Paris - École nationale supérieure de techniques avancées Paris Access content directly

Filter your results

2 Results
Author: personID (integer) : 971597
Image document

Hierarchical Timed Abstract State Machines for WCET Estimation

Vladimir-Alexandru Paun , Bruno Monsuez , Philippe Baufreton
International Workshop on Verification and Evaluation of Computer and Communication Systems, Nov 2013, Florence, Italy
Conference papers hal-01214973v1
Image document

Hierarchical Timed Symbolic Abstract State Machines for precise WCET estimation

Vladimir-Alexandru Paun , Bruno Monsuez , Philippe Baufreton
IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2013, Taipei, Taiwan
Conference papers hal-01214957v1