Volume 14, Issue 6, November 2012

MTM

ISSN: 1433-2779 (Print) 1433-2787 (Online)

In this issue (5 articles)

  1. No Access

    Introduction

    Relating software validation to technology trends

    Zhiming Liu, Abhik Roychoudhury Pages 631-638
    Look Inside Get Access

  2. No Access

    MTM

    Timing analysis of MSC specifications with asynchronous concatenation

    Minxue Pan, Xuandong Li Pages 639-651
    Look Inside Get Access

  3. No Access

    MTM

    Formal modeling and validation of Stateflow diagrams

    Chunqing Chen, Jun Sun, Yang Liu… Pages 653-671
    Look Inside Get Access

  4. No Access

    MTM

    Constructive model-based analysis for safety assessment

    Adriano Gomes, Alexandre Mota… Pages 673-702
    Look Inside Get Access

  5. No Access

    MTM

    Compositional verification of real-time systems using Ecdar

    Alexandre David, Kim. G. Larsen, Axel Legay… Pages 703-720
    Look Inside Get Access