Abstraction of Dynamical Systems by Timed Automata

Rafael Wisniewski, Christoffer Sloth

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

6 Citationer (Scopus)
367 Downloads (Pure)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Abstraction of Dynamical Systems by Timed Automata'. Sammen danner de et unikt fingeraftryk.

Computer Science

Mathematics