Login / Signup
Task-System Analysis Using Slope-Parametric Hybrid Automata.
Augusto Burgueño
Vlad Rusu
Published in:
Euro-Par (1997)
Keyphrases
</>
hybrid automata
quantitative analysis
real time