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

Joakim Byg, Kenneth Yrke Jørgensen, Jiri Srba

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

16 Citationer (Scopus)

Fingeraftryk

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

Matematik

Teknik og materialevidenskab