C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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