Descripción
|
|
---|---|
Articulo en congreso internacional | |
Internacional
|
Si |
Nombre congreso
|
ternational Workshop on Formal Methods for Industrial Critical Systems |
Tipo de participación
|
960 |
Lugar del congreso
|
Eindhoven, Holanda |
Revisores
|
Si |
ISBN o ISSN
|
978-3-642-04569-1 |
DOI
|
10.1007/978-3-642-04570-7_9 |
Fecha inicio congreso
|
02/11/2009 |
Fecha fin congreso
|
03/11/2009 |
Desde la página
|
102 |
Hasta la página
|
116 |
Título de las actas
|
14th International Workshop on Formal Methods for Industrial Critical Systems |