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

      Building SystemC waiting state automata

      proceedings-article

      , ,

      Fifth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011) (VECOS)

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

      15-16 September 2011

      SystemC, automata, operational semantics, symbolic execution, compostional verification

      Bookmark

            Content

            Author and article information

            Contributors
            Conference
            September 2011
            September 2011
            : 1-12
            Affiliations
            [0001]UEI, ENSTA, 32 Bd Victor,

            75739 Paris cedex 15, Francewww.ensta-paristech.fr
            [0002]CEDRIC, CNAM, 292 rue Saint Martin,

            75141 Paris cedex 03, Francewww.cnam.fr
            Article
            10.14236/ewic/VECOS2011.11
            e215a1a8-a1de-4817-9555-91951f57e130
            © Nesrine HARRATH et al. Published by BCS Learning and Development Ltd. Fifth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011), Tunis, Tunisia

            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/

            Fifth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011)
            VECOS
            5
            Tunis, Tunisia
            15-16 September 2011
            Electronic Workshops in Computing (eWiC)
            Verification and Evaluation of Computer and Communication Systems (VECoS 2011)
            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