Bibtex

Stéphanie Challita, Benoit Combemale, Sock: A Clock-Based Modeling Language to Specify Secure Periodic Real-Time Tasks

Back