Skip to Main Content (Press Enter)

Logo CNR
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Competenze

UNI-FIND
Logo CNR

|

UNI-FIND

cnr.it
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Competenze
  1. Pubblicazioni

FMICS 2005 - 10th International Workshop on Formal Methods in SAfety Critical Systems

Articolo
Data di Pubblicazione:
2006
Abstract:
Report on the 10th edition of the FMICS international workshop held in Lisbon in 2005.
Tipologia CRIS:
01.01 Articolo in rivista
Keywords:
D.2.4 Software/Program Verification
Elenco autori:
Massink, Mieke
Autori di Ateneo:
MASSINK MIEKE
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/83670
Link al Full Text:
https://iris.cnr.it//retrieve/handle/20.500.14243/83670/86253/prod_68327-doc_130033.pdf
Pubblicato in:
ERCIM NEWS
Journal
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 26.5.0.0 | Sorgente dati: PREPROD (Ribaltamento disabilitato)