Login / Signup
Using timed automata for modeling, simulating and verifying networked systems controller's specifications.
Guilherme Kunz
José Machado
Eduardo André Perondi
Published in:
Neural Comput. Appl. (2017)
Keyphrases
</>
timed automata
model checking
multimedia
building blocks
automated verification
optimal control
intelligent systems
complex systems
neural network
information systems
expert systems
control system
management system
distributed systems
retrieval systems