Verification of critical systems described in real-time TiMo.

Bogdan Aman Gabriel Ciobanu

Published in: Int. J. Softw. Tools Technol. Transf. (2017)

Keyphrases

real time
telecommunication systems
management system
case study
neural network
formal methods
complex systems
building blocks
distributed systems
control system
genetic algorithm
computer systems
face recognition
real time systems
asynchronous circuits
human machine interface
autonomous mobile
machine learning