Sign in
Infori-nation systems as a tool for specification of concurrent systems.
Zbigniew Suraj
Published in:
ICRA (2003)
Keyphrases
</>
concurrent systems
distributed systems
formal specification
transition systems
management system
formal methods
learning systems
process algebra
data sets
neural network
computer systems
complex systems
model checking
specification language