![](/img/cover-not-exists.png)
Verification of real-time systems design
M. Emilia Cambronero, Valentín Valero, Gregorio DíazVolume:
20
Year:
2010
Language:
english
Pages:
35
DOI:
10.1002/stvr.405
File:
PDF, 993 KB
english, 2010