Using timed automata formalism for modeling and analyzing home care plans

Partager "Using timed automata formalism for modeling and analyzing home care plans"

N/A

Protected

Année scolaire: 2021

Info

Protected

Academic year: 2021

Partager "Using timed automata formalism for modeling and analyzing home care plans"

Copied!

126

Texte intégral

Références

Documents relatifs