TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets

Joakim Byg, Kenneth Yrke Jørgensen, Jiri Srba

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

19 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets'. Sammen danner de et unikt fingeraftryk.

Earth and Planetary Sciences