394
views
0
recommends
+1 Recommend
1 collections
    0
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

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

      proceedings-article

      1 , 1 , 2

      Third International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2009) (VECOS)

      Verification and Evaluation of Computer and Communication Systems (VECoS 2009)

      2-3 July 2009

      UML Statecharts, Timed Automata, Patterns observers, model-checking, time-constrained system

      Bookmark

            Content

            Author and article information

            Contributors
            Conference
            July 2009
            July 2009
            : 1-13
            Affiliations
            [ 1 ]ESTAS, INRETS, 20 rue Elisée Reclus BP 317, Villeneuve d’Ascq, 59666, France
            [ 2 ]LAGIS, Ecole Centrale de Lille BP 48, Villeneuve d’Ascq, 59651, France
            Article
            10.14236/ewic/VECOS2009.11
            76d01ea6-a2ae-4cfd-9da3-3479d9f76ce3
            © 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

            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/

            Third International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2009)
            VECOS
            3
            Rabat, Morroco
            2-3 July 2009
            Electronic Workshops in Computing (eWiC)
            Verification and Evaluation of Computer and Communication Systems (VECoS 2009)
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article