A new UML profile for real‐time system formal design and validation - Archive ouverte HAL
Communication Dans Un Congrès Année : 2001

A new UML profile for real‐time system formal design and validation

Résumé

no abstract

Domaines

Informatique [cs] Modélisation et simulation

Christophe Lohr  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01674643

Soumis le : mercredi 3 janvier 2018-12:06:37

Dernière modification le : lundi 20 novembre 2023-11:44:17

Fichier non déposé

Dates et versions

hal-01674643 , version 1 (03-01-2018)

Identifiants

  • HAL Id : hal-01674643 , version 1

Citer

Ludovic Apvrille, Pierre de Saqui-Sannes, Christophe Lohr, Patrick Sénac, Jean-Pierre Courtiat. A new UML profile for real‐time system formal design and validation. 4th International Conference on the Unified Modeling Language (UML'2001), 2001, Unknown, Unknown Region. ⟨hal-01674643⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS INSA-TOULOUSE LAAS UT1-CAPITOLE TDS-MACS INSA-GROUPE TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
52 Consultations
0 Téléchargements

Partager

More