Mostrando
1 - 2
Resultados de
2
Para Buscar '
George, Chris W.
'
Saltar al contenido
BDU
3
Inicio
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
George, Chris W.
Mostrando
1 - 2
Resultados de
2
Para Buscar '
George, Chris W.
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Towards the verification of RAISE specifications through Model Checking
por
Perna, Juan Ignacio
,
George
,
Chris
W
.
Publicado 2006
Aportado por:
SEDICI (UNLP)
Enlace del recurso
Objeto de conferencia
2
Model checking RAISE applicative specifications
por
Perna, Juan I.
,
George
,
Chris
W
.
Publicado 2006
Aportado por:
SEDICI (UNLP)
Enlace del recurso
Objeto de conferencia
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Ciencias Informáticas
Formal methods
Model checking
RAISE
SOFTWARE ENGINEERING
Verification
base de datos
formal methods
model checking
verification techniques
Cargando...