Modélisation et vérification modulaires de lignes de produits logiciels temps réel.

Projet: Projet de thèse

  • 3 Article dans les actes d'une conférence/un colloque
  • 1 Chapitre
  • 1 Chapitre (revu par des pairs)
  • 1 Article
Filtrer
Chapitre

Résultats de recherche

  • 2013

    Model checking adaptive software with featured transition systems

    Cordy, M., Classen, A., Heymans, P., Legay, A. & Schobbens, P., 1 janv. 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Principles, Models, and Techniques. Cámara, J., de Lemos, R., Ghezzi, C. & Lopes, A. (eds.). Heidelberg Dordrecht London New York: Springer, Vol 7740. p. 1-29 29 p. (Lecture Notes in Computer Science).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Chapitre

    Accès ouvert
    File
    221 Téléchargements (Pure)