Zobrazeno 1 - 1
of 1
pro vyhledávání: '"eksplozija prostora stanja"'
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
