Login / Signup
Formal modeling and validation applied to a commercial coherent bus: a case study.
Ganesh Gopalakrishnan
Rajnish Ghughal
Ravi Hosabettu
Abdelillah Mokkedem
Ratan Nalumasu
Published in:
CHARME (1997)
Keyphrases
</>
artificial intelligence
web services
modeling framework
machine learning
information systems
image sequences
face recognition
optimal solution
wide range
expert systems
formal models