Real-Time CCSL: Application to the Mechanical Lung Ventilator. - Pavlo Tokariev; Frédéric Mallet (ABZ, 2024)

Modular real-time clock constraint specification language. (Langage modulaire pour la spécification de contraintes d'horloges logiques et temps-réel). - Pavlo Tokariev (2024)