Survey on System Behavior Specification for Extending ProjectIT-RSL.

David de Almeida Ferreira Alberto Manuel Rodrigues da Silva

Published in: QUATIC (2010)

Keyphrases

formal methods
data collection
qualitative simulation
asynchronous circuits
database
data sets
databases
learning algorithm
information systems
decision trees
model checking
human behavior
autonomous robots
formal specification