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

PDF Cite DOI

© 2025 - ACDC. Last update: April, 15th, 2025

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite