State-based versus event-based specifications for information systems: a comparison of B and eb3.
Saved in:
| Title: | State-based versus event-based specifications for information systems: a comparison of B and eb3. |
|---|---|
| Authors: | Fraikin, Benoît1, Benoit.Fraikin@usherbrooke.ca, Frappier, Marc1, Marc.Frappier@usherbrooke.ca, Laleau, Régine2, laleau@univ-paris12.fr |
| Source: | Software & Systems Modeling; Jul2005, Vol. 4 Issue 3, p236-257, 22p |
| Database: | Applied Science & Technology Source |
| ISSN: | 16191366 |
|---|---|
| DOI: | 10.1007/s10270-005-0083-4 |
