Yildiz, Bugra M.
~ 0  Ergebnisse:
Personensuche X
?
4

A model-derivation framework for timing analysis of Java so..:

Yildiz, Bugra M ; Rensink, Arend ; Bockisch, Christoph.
http://doc.utwente.nl/98885/1/Technical_Report_BMY_30.12.2015.pdf.  , 2015
 
?
6

A timed-automata approach for critical path detection in a ..:

Yildiz, Bugra M ; Bockisch, Christoph M ; Rensink, Arend.
http://doc.utwente.nl/93191/1/Yildiz-A_Timed-Automata_Approach_for_Critical.pdf.  , 2014
 
1-7