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 11 van 22 gevonden artikelen
 
 
  Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL
 
 
Titel: Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL
Auteur: Balasubramaniyan, Sreram
Srinivasan, Seshadhri
Buonopane, Furio
Subathra, B.
Vain, Jüri
Ramaswamy, Srini
Verschenen in: Microprocessors and microsystems
Paginering: Jaargang 42 (2016) nr. C pagina's 12 p.
Jaar: 2016
Inhoud:
Uitgever: Elsevier B.V.
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details van artikel 11 van 22 gevonden artikelen
 
<< vorige    volgende >>
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland