Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
Syddansk Universitet Forside
Hjælp og FAQ
Dansk
English
Forside
Forskere
Forskningsenheder
Publikationer
Aktiviteter
Projekter
Datasæt
Presse/medie
Priser
Undervisning
Impacts
Søg efter ekspertise, navn eller tilknytning
Behavioural equivalences for timed systems
Tomasz Brengos,
Marco Peressotti
Institut for Matematik og Datalogi
Publikation
:
Working paper
›
Forskning
Oversigt
Fingeraftryk
Publikationer
(2)
Fingeraftryk
Dyk ned i forskningsemnerne om 'Behavioural equivalences for timed systems'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Computer Science
Automaton
25%
Transition System
100%
Mathematics
Calculus
100%