|
Descripción
|
|
|---|---|
| The verification of safety becomes crucial in critical systems where human lives depend on the correct functioning of such systems. | |
|
Internacional
|
Si |
|
Nombre congreso
|
1st Workshop on Safety and Formal Methods SaFoMe 2014 |
|
Tipo de participación
|
960 |
|
Lugar del congreso
|
Grenoble, Francia |
|
Revisores
|
Si |
|
ISBN o ISSN
|
978-3-319-15201-1 |
|
DOI
|
|
|
Fecha inicio congreso
|
01/09/2014 |
|
Fecha fin congreso
|
01/09/2014 |
|
Desde la página
|
101 |
|
Hasta la página
|
115 |
|
Título de las actas
|
Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers |