« Retourner aux résultats de recherche

• Citer

Efficient algorithms and tools for MITL model-checking and synthesis

par Brihaye, Thomas;Geeraerts, Gilles ;Milchior, Arthur ;Monmege, Benjamin ;Ho, Hsi Ming
Référence (Melbourne, Australia), Proceedings of ICECCS 2018, 23rd International Conference on Engineering of Complex Computer Systems, IEEE
Publication Publié, 2018

Publication dans des actes

• Détails

Titre:	Efficient algorithms and tools for MITL model-checking and synthesis
Auteur:	Brihaye, Thomas; Geeraerts, Gilles; Milchior, Arthur; Monmege, Benjamin; Ho, Hsi Ming
Informations sur la publication:	(Melbourne, Australia), Proceedings of ICECCS 2018, 23rd International Conference on Engineering of Complex Computer Systems, IEEE
Statut de publication:	Publié, 2018
Sujet CREF:	Informatique mathématique
Langue:	Français
Identificateurs:	urn:isbn:978-1-5386-9341-4