Original title: Refinement of timed automata models according to hardware characteristics
Translated title: Refinement of timed automata models according to hardware characteristics
Authors: Hamrle, Martin ; Kofroň, Jan (referee) ; Holub, Viliam (advisor)
Document type: Master’s theses
Year: 2008
Language: eng
Abstract: [eng] [cze]


Institution: Charles University Faculties (theses) (web)
Document availability information: Available in the Charles University Digital Repository.
Original record: http://hdl.handle.net/20.500.11956/11883

Permalink: http://www.nusl.cz/ntk/nusl-287600


The record appears in these collections:
Universities and colleges > Public universities > Charles University > Charles University Faculties (theses)
Academic theses (ETDs) > Master’s theses
 Record created 2017-04-25, last modified 2022-03-04


No fulltext
  • Export as DC, NUŠL, RIS
  • Share