Login / Signup
Compositional verification of real-time systems using Ecdar.
Alexandre David
Kim Guldstrand Larsen
Axel Legay
Mikael H. Møller
Ulrik Nyman
Anders P. Ravn
Arne Skou
Andrzej Wasowski
Published in:
Int. J. Softw. Tools Technol. Transf. (2012)
Keyphrases
</>
real time systems
real time
embedded systems
distributed systems
real time embedded
model checking
mission critical
real time database systems
timing constraints
architectural model
machine learning
cooperative
computational intelligence
database
artificial intelligence
object oriented programming language