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 12 van 19 gevonden artikelen
 
 
  On the integration of model-driven design and dynamic assertion-based verification for embedded software
 
 
Titel: On the integration of model-driven design and dynamic assertion-based verification for embedded software
Auteur: Di Guglielmo, Giuseppe
Di Guglielmo, Luigi
Foltinek, Andreas
Fujita, Masahiro
Fummi, Franco
Marconcini, Cristina
Pravadelli, Graziano
Verschenen in: Journal of systems and software
Paginering: Jaargang 86 (2013) nr. 8 pagina's 21 p.
Jaar: 2013
Inhoud:
Uitgever: Elsevier Inc.
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details van artikel 12 van 19 gevonden artikelen
 
<< vorige    volgende >>
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland