On reusing ATNet modules in protocol specification.

Mohamed Bettaz Mourad Maouche Moussa Soualmi Madani Boukebeche

Published in: J. Syst. Softw. (1994)

Keyphrases

protocol specification
communication protocols
formal specification
learning objects
formal methods
artificial intelligence
social networks
information systems
building blocks
fine grained