Yusi Ramadian

Parametric Real-Time System Feasibility Analysis Using Parametric Timed Automata.
. University of Trento, Italy, (2012)base-search.net (ftutrentophd:oai:eprints-phd.biblio.unitn.it:763).
  •  Doctoral advisor:
  •  First reviewer:
  •  Reviewer:
  •  Advisor:
  •  Author: Yusi Ramadian
  •  Editor:
  •  Other:
more

No resources found