A new formalism for mathematical description and verification of component-based systems.

Ayaz Isazadeh Jaber Karimpour

Published in: J. Supercomput. (2009)

Keyphrases

formal methods
asynchronous circuits
mathematical models
management system
knowledge based systems
computer systems
finite state machines
computing systems
model checking
real time
expert systems
distributed systems
natural language
multi agent
high level
e learning
formal verification
databases