Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions.

Françoise Bellegarde Samir Chouali Jacques Julliand

Published in: ZB (2002)

Keyphrases

dynamic constraints
description language
database
databases
information systems
management system
distributed systems