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

      Computing WCET using symbolic execution

      proceedings-article

      , ,

      Second International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008) (VECoS)

      Verification and Evaluation of Computer and Communication Systems

      2 - 3 July 2008

      WCET, real-time, symbolic execution, static analysis

      Bookmark

            Content

            Author and article information

            Contributors
            Conference
            July 2008
            July 2008
            : 1-12
            Affiliations
            UEI, ENSTA, 32 Bd Victor, 75739 Paris cedex 15, France
            CEA, LIST, Boîte 65, Gif-sur-Yvette, F-91191 France
            Article
            10.14236/ewic/VECOS2008.12
            2b4f41b0-a2c7-4182-a09d-9400fad83b63
            © Bilel Benhamamouch et al. Published by BCS Learning and Development Ltd. Second International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008)

            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/

            Second International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008)
            VECoS
            Leeds, UK
            2 - 3 July 2008
            Electronic Workshops in Computing (eWiC)
            Verification and Evaluation of Computer and Communication Systems
            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