Formal refinement of extended state machines
Résumé
no abstract
no abstract
Connectez-vous pour contacter le contributeur
https://hal.science/hal-01575304
Soumis le : vendredi 18 août 2017-17:33:26
Dernière modification le : lundi 17 novembre 2025-08:42:03