Specification and Verification of Communication Paradigms for CBSE in Event B.
Loïc ThierryJason JaskolkaBrahim HamidJean-Paul BodeveixPublished in: ICECCS (2023)
Keyphrases
- formal verification
- protocol specification
- asynchronous circuits
- model checking
- communication protocols
- formal methods
- communication systems
- event detection
- event driven
- information sharing
- communication overhead
- neural network
- communication networks
- cooperative
- high level
- specification language
- active database management systems
- communication cost
- communication technologies
- news articles
- information technology
- case study
- decision making