Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Résultat de recherche

  • 108 Citations
  • 7 h-Index
  • 9 Article dans les actes d'une conférence/un colloque
  • 4 Autre contribution
  • 1 Chapitre
  • 1 Article
Filtrer
Autre contribution
2013
55 Téléchargements (Pure)
2012
95 Téléchargements (Pure)
2011

A Formal Verification Technique for Architecture-Based Embedded Systems in EAST-ADL

Kang, E-Y., 2011, (Non publié)

Résultats de recherche: Autre contribution