Login / Signup
Modal event-clock specifications for timed component-based design.
Nathalie Bertrand
Axel Legay
Sophie Pinchinat
Jean-Baptiste Raclet
Published in:
Sci. Comput. Program. (2012)
Keyphrases
</>
design process
high level
building blocks
modal logic
software design
artificial intelligence
petri net
computer aided
design space
functional requirements