Zobrazeno 1 - 4
of 4
pro vyhledávání: '"vremenski automati"'
Autor:
Kordić, Branislav
Publikováno v:
CRIS UNS
Основни циљ истраживања дисертације је примена формализма временских аутомата за моделовање и формалну верификацију софтверске транс
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2987::171872dbdae9bbb169c827c308120534
https://www.cris.uns.ac.rs/record.jsf?recordId=112337&source=OpenAIRE&language=en
https://www.cris.uns.ac.rs/record.jsf?recordId=112337&source=OpenAIRE&language=en
Autor:
Popović, Miroslav, Teslić, Nikola, Tomašević, Milo, Gilezan, Silvia, Đukić, Miodrag
Publikováno v:
Универзитет у Новом Саду
Основни циљ истраживања дисертације је примена формализма временских аутомата за моделовање и формалну верификацију софтверске транс
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=nardusnacion::f04ca93291841da6c3c03ea821319fe7
https://hdl.handle.net/21.15107/rcub_nardus_11877
https://hdl.handle.net/21.15107/rcub_nardus_11877
Autor:
Magdić, Goran
Cilj ovog rada bio je ostvariti podršku za simulaciju sustava modeliranih u jeziku REMES. U sklopu rada ostvarena je transformacija modela prikazanog u jeziku REMES u model mreže težinskih vremenskih automata. Definirana su pravila transformacije
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=57a035e5b1ae::cb57ec78e529356f7308a790b7bc5c5d
https://www.bib.irb.hr/492389
https://www.bib.irb.hr/492389
Autor:
Krešić, Dario
Vremenski automati (engl. timed automata) proširuju ω-automate za skup tzv. satnih varijabli koje mjere vrijeme među događajima. Nakon predstavljanja sintakse i semantike Büchijevih i Mullerovih vremenskih automata bit će diskutiran problem ink
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=57a035e5b1ae::7990a5b3b35380141848690fe348fc2a
https://www.bib.irb.hr/466652
https://www.bib.irb.hr/466652