Validating time-constrained systems using UML Statecharts Patterns and Timed Automata Observers

Contributors

Ahmed MEKKI

Mohamed GHAZEL

Armand TOGUYENI

Conference

Publication date: July 2009

Publication date (Print): July 2009

Pages: 1-13

Affiliations

[ ¹ ]ESTAS, INRETS, 20 rue Elisée Reclus BP 317, Villeneuve d’Ascq, 59666, France

[ ² ]LAGIS, Ecole Centrale de Lille BP 48, Villeneuve d’Ascq, 59651, France

Article

DOI: 10.14236/ewic/VECOS2009.11

SO-VID: 76d01ea6-a2ae-4cfd-9da3-3479d9f76ce3

Copyright statement: © Ahmed MEKKI et al. Published by BCS Learning and Development Ltd. Third International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2009), Rabat, Morroco

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Third International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2009)

Conference acronym: VECOS

Conference number: 3

Conference location: Rabat, Morroco

Conference date: 2-3 July 2009

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Verification and Evaluation of Computer and Communication Systems (VECoS 2009)

Product

Product Information: 1477-9358BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/VECOS2009.11

Self URI (journal page): https://ewic.bcs.org/

Categories

Series title: Electronic Workshops in Computing