-
Formal Specification and Verification of Task Time Constraints for Real-Time ...
Model-Driven Engineering enables to assess a system's model properties since the early phases of its lifecycle and to improve iteratively these models according to the... -
Vérification de propriétés temporelles à la volée
Colloque avec actes et comité de lecture.
