Publications

A framework for the rigorous design of highly adaptive timed systems

Informations générales

étatPublié
organisationsFaculté d'informatique, Research Center on Information Systems Engineering, INRIA Rennes Bretagne Atlantique
AuteursCordy, M., Legay, A., Schobbens, P. Y., Traonouez, L. M.
Nombre de pages7
Pages64-70
Date de publication28 oct. 2013

Informations sur la publication d'accueil

titre2013 1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013 - Proceedings
Le numéro d'article6612279
ISBN (imprimé)9781467362924
Les domaines scientifiques ASJClogiciel
Les versions électroniques
Les DOIs
URLs

Résultats de recherche: RechercheArticle dans les actes d'une conférence/un colloque