Sm@RT Research Team
Sm@RT Research Team
Home
People
Publications
Talks
Projects
Contact
Light
Dark
Automatic
"temporal property language"
Runtime Monitoring for Executable DSLs
Dorian Leroy
,
Pierre Jeanjean
,
Erwan Bousse
,
Manuel Wimmer
,
Benoit Combemale
PDF
Cite
DOI
Cite
×