Digital Library
Close Browse articles from a journal
 
<< previous    next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 7 of 9 found articles
 
 
  State-based versus event-based specifications for information systems: a comparison of B and eb3
 
 
Title: State-based versus event-based specifications for information systems: a comparison of B and eb3
Author: Fraikin, Benoît
Frappier, Marc
Laleau, Régine
Appeared in: Software and systems modeling
Paging: Volume 4 (2005) nr. 3 pages 236-257
Year: 2005
Contents:
Publisher: Springer Berlin Heidelberg, Berlin/Heidelberg
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 7 of 9 found articles
 
<< previous    next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands