Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008) / D. D. Cofer; A. Fantechi; S. Leue; P. Merino. - In: SCIENCE OF COMPUTER PROGRAMMING. - ISSN 0167-6423. - STAMPA. - 76:(2011), pp. 63-64.
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008).
FANTECHI, ALESSANDRO;
2011
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
PrefaceSCP11.pdf
accesso aperto
Tipologia:
Versione finale referata (Postprint, Accepted manuscript)
Licenza:
Open Access
Dimensione
164.33 kB
Formato
Adobe PDF
|
164.33 kB | Adobe PDF |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.