Verification of Continuous Dynamical Systems by Timed Automata

Christoffer Sloth, Rafael Wisniewski

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

12 Citationer (Scopus)
667 Downloads (Pure)

Fingeraftryk

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

Matematik

Teknik og materialevidenskab