I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Analysis of Real Time Systems through the ORIS Tool:

, In: Third International Conference on the Quantitative Evaluation of Systems - (QEST'06),
Vicario, E. ; Sassoli, L. - p. 127-128 , 2006
Link: https://doi.org/10.1109/QEST.2006.4