Communication Dans Un Congrès
Année : 2014
Adriana Tapus : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01234679
Soumis le : vendredi 27 novembre 2015-11:42:13
Dernière modification le : vendredi 8 mars 2024-11:47:49
Dates et versions
Identifiants
- HAL Id : hal-01234679 , version 1
Citer
Arun Kumar Ramaswamy, Bruno Monsuez, Adriana Tapus. Modeling Non-Functional Properties for Human-Machine Systems. Proceedings of AAAI Spring Symposium on Formal Verification and Modeling in Human-Machine Systems, 2014, Palo Alto, United States. ⟨hal-01234679⟩
Collections
24
Consultations
0
Téléchargements