Using compliance notation to verify Ada tasking.

Published in: IRTAW (1997)

Keyphrases

databases
real time
information systems
cooperative
artificial intelligence
reinforcement learning
software development
verification method
visual languages