Preface to FMICS 2008 (Articolo in rivista)

Type
Label
  • Preface to FMICS 2008 (Articolo in rivista) (literal)
Anno
  • 2009-01-01T00:00:00+01:00 (literal)
Alternative label
  • Cofer D.; Fantechi A. (2009)
    Preface to FMICS 2008
    in Lecture notes in computer science
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Cofer D.; Fantechi A. (literal)
Pagina inizio
  • V (literal)
Pagina fine
  • VI (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 5596 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: Formal Methods for Industrial Critical Systems. Editorial, pp. V - VI. Darren D. Cofer, Alessandro Fantechi (eds.). Springer, 2009. (literal)
Note
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Rockwell Collins, Bloomington, USA, CNR-ISTI, Pisa (literal)
Titolo
  • Preface to FMICS 2008 (literal)
Abstract
  • The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are intended to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Insieme di parole chiave di
data.CNR.it