Digital Library
Close Browse articles from a journal
 
<< previous   
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 6 of 6 found articles
 
 
  Specifying embedded systems with statecharts and Z: an agenda for cyclic software components
 
 
Title: Specifying embedded systems with statecharts and Z: an agenda for cyclic software components
Author: Grieskamp, Wolfgang
Heisel, Maritta
Dörr, Heiko
Appeared in: Science of computer programming
Paging: Volume 40 (2001) nr. 1 pages 27 p.
Year: 2001
Contents:
Publisher: Elsevier Science B.V.
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 6 of 6 found articles
 
<< previous   
 
 Koninklijke Bibliotheek - National Library of the Netherlands