Publications

Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems

Informations générales

étatPublié
organisationsFaculté d'informatique, Namur Research Institute for Life Sciences, Research Center on Information Systems Engineering, Research group on the foundations of computer sciences
AuteursKang, E., Schobbens, P.
Nombre de pages6
Pages1890-1895
Date de publication1 janv. 2013

Informations sur la publication d'accueil

titreIEEE International Conference on Control and Automation, ICCA
ISBN (imprimé)9781467347075

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre