Login / Signup
An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car.
Samir Chouali
Hassan Mountassir
Sebti Mouelhi
Published in:
Electron. Notes Theor. Comput. Sci. (2010)
Keyphrases
</>
input output
decision support
cellular automata
artificial intelligence
social networks
decision making
data sets
machine learning
information systems
high speed