Communication Dans Un Congrès
Année : 2005
Olivier Henri Roux : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00523598
Soumis le : mardi 5 octobre 2010-17:42:03
Dernière modification le : vendredi 5 janvier 2024-03:24:51
Dates et versions
Identifiants
- HAL Id : hal-00523598 , version 1
Citer
Guillaume Gardey, John Mullins, Olivier Henri Roux. Non-interference control synthesis for security timed automata. 3rd International Workshop on Security Issues in Concurrency (SecCo'05), 2005, San Francisco, United States. pp.0-10. ⟨hal-00523598⟩
Collections
56
Consultations
0
Téléchargements