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 |