State-based versus event-based specifications for information systems: a comparison of B and eb3.

Saved in:

Bibliographic Details
Title:	State-based versus event-based specifications for information systems: a comparison of B and eb³.
Authors:	Fraikin, Benoît¹ Benoit.Fraikin@usherbrooke.ca, Frappier, Marc¹ Marc.Frappier@usherbrooke.ca, Laleau, Régine² laleau@univ-paris12.fr
Source:	Software & Systems Modeling. Jul2005, Vol. 4 Issue 3, p236-257. 22p.
Database:	Academic Search Ultimate

Description
ISSN:	16191366
DOI:	10.1007/s10270-005-0083-4