On the Semantics of Polychronous Polytimed Specifications

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-030-57628-8_2 ◽

2020 ◽

pp. 23-40

Author(s):

Hai Nguyen Van ◽

Thibaut Balabonski ◽

Frédéric Boulanger ◽

Chantal Keller ◽

Benoît Valiron ◽

...

Download Full-text