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

      An overview of the SystemB collaborative project

      proceedings-article

      , ,

      FACS 2007 Christmas Workshop: Formal Methods in Industry (FMI)

      Formal Methods in Industry

      17 December 2007

      B, CSP, MDA, Automatic Verification, UML

      Bookmark

            Content

            Author and article information

            Contributors
            Conference
            December 2007
            December 2007
            : 1-5
            Affiliations
            Department of Computing, University of Surrey

            AWE plc, Aldermaston, Reading.
            Article
            10.14236/ewic/FMI2007.7
            22ce5463-a4b6-4fa7-86a1-fe0045529760
            © Edward Turner et al. Published by BCS Learning and Development Ltd. FACS 2007 Christmas Workshop: Formal Methods in Industry, BCS London, UK

            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/

            FACS 2007 Christmas Workshop: Formal Methods in Industry
            FMI
            BCS London, UK
            17 December 2007
            Electronic Workshops in Computing (eWiC)
            Formal Methods in Industry
            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