Event algebra for transition systems composition application to timed automata.

Elie Fares Jean-Paul Bodeveix Mamoun Filali

Published in: Acta Informatica (2018)

Keyphrases

timed automata
model checking
transition systems
machine learning
finite state
object oriented
concurrent systems