Verification and analysis of domain-specific models of physical characteristics in embedded control software

• Arjan de Roo ^[1] ; Hasan Sözer ^[2] ; Mehmet Akşit ^[1]
  1. [1] University of Twente

     University of Twente

     Países Bajos

     
  2. [2] Özyeğin University

     Özyeğin University

     Turquía

     
• Localización: Information and software technology, ISSN 0950-5849, Vol. 54, Nº 12, 2012, págs. 1432-1453
• Idioma: inglés
• Enlaces
  • Texto completo