1 paper
Ariel González, Maximiliano Cristiá, Carlos Luna
Real-Time DEVS (RT-DEVS) can model systems with quantitative temporal requirements. Ensuring that such models verify that kind of temporal properties requires to use something beyo…