مرکز منطقه ای اطلاع رساني علوم و فناوري - Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010)

Title of article :

Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010)

Author/Authors :

Mar?a Alpuente، نويسنده , , Christophe Joubert، نويسنده , , Stefan Kowalewski، نويسنده , , Marco Roveri، نويسنده ,

Issue Information :

ماهنامه با شماره پیاپی سال 2013

Pages :

From page :

775

To page :

777

Journal title :

Science of Computer Programming

Serial Year :

2013

Journal title :

Science of Computer Programming

Record number :

1080357

Link To Document :