Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
<< vorige    volgende >>
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
           Alle artikelen van de bijbehorende aflevering
                                       Details van artikel 37 van 38 gevonden artikelen
 
 
  Verification of Real-Time System Requirements: A Petri Net Approach
 
 
Titel: Verification of Real-Time System Requirements: A Petri Net Approach
Auteur: Szpyrka, Marcin
Verschenen in: IFAC proceedings volumes
Paginering: Jaargang 32 (1999) nr. 1 pagina's 6 p.
Jaar: 1999
Inhoud:
Uitgever: International Federation of Automatic Control
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details van artikel 37 van 38 gevonden artikelen
 
<< vorige    volgende >>
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland