An Alternative Semantics for Timed Automata with Independent Clocks

James Jerson Ortiz Vega, Pierre-Yves Schobbens

Résultats de recherche: Contribution à un événement scientifique (non publié) › Résumé › Revue par des pairs

39 Téléchargements (Pure)

1 résultats
- Titre
- Date de début(par ordre croissant)

Filtrer

CONCURFMICSFORMATSQEST
Schobbens, P. Y. (Orateur)
18 sept. 2023 → 22 sept. 2023
Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès