69
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      FM 2006: Formal Methods 

      Modeling and Validating Distributed Embedded Real-Time Systems with VDM++

      other
      , ,
      Springer Berlin Heidelberg

      Read this book at

      Publisher
      Buy book Bookmark
          There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references8

          • Record: found
          • Abstract: not found
          • Article: not found

          System architecture evaluation using modular performance analysis: a case study

            Bookmark
            • Record: found
            • Abstract: not found
            • Book: not found

            Validated Designs for Object–oriented Systems

              Bookmark
              • Record: found
              • Abstract: not found
              • Book Chapter: not found

              Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach

                Bookmark

                Author and book information

                Book Chapter
                2006
                : 147-162
                10.1007/11813040_11
                3556c725-7660-467c-a931-c5c37cabdff9
                History

                Comments

                Comment on this book

                Book chapters

                Similar content1,878

                Cited by9