1. Relating software validation to technology trends

   • Zhiming Liu
   • Abhik Roychoudhury

   Introduction 05 September 2012 Pages: 631 - 638

2. Timing analysis of MSC specifications with asynchronous concatenation

   • Minxue Pan
   • Xuandong Li

   MTM 14 June 2012 Pages: 639 - 651

3. Formal modeling and validation of Stateflow diagrams

   • Chunqing Chen
   • Jun Sun
   • Manchun Zheng

   MTM 06 June 2012 Pages: 653 - 671

4. Constructive model-based analysis for safety assessment

   • Adriano Gomes
   • Alexandre Mota
   • Edson Watanabe

   MTM 06 July 2012 Pages: 673 - 702

5. Compositional verification of real-time systems using Ecdar

   • Alexandre David
   • Kim. G. Larsen
   • Andrzej Wąsowski

   MTM 12 June 2012 Pages: 703 - 720