Mostrando
1 - 2
Resultados de
2
Para Buscar '
Sibay, G.E.
'
Saltar al contenido
BDU
3
Inicio
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Sibay, G.E.
Mostrando
1 - 2
Resultados de
2
Para Buscar '
Sibay, G.E.
'
, tiempo de consulta: 0.01s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Synthesizing modal transition systems from triggered scenarios
por
Sibay
,
G.E
.
,
Braberman, V.
,
Uchitel, S.
,
Kramer, J.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
2
Distribution of modal transition systems
por
Sibay
,
G.E
.
,
Uchitel, S.
,
Braberman, V.
,
Kramer, J.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Modal Transition Systems
Artificial intelligence
Behaviour models
Component based systems
Component interfaces
Component levels
Componentwise
Distribution
Flowcharting
Iterative refinement
Labeled transition systems
Labelled transition systems
MTS
Operational behavior
Partial behavior models
Scenario-based languages
Scenario-based specifications
Scenarios
Semantics
Specification languages
Specifications
Synthesis (chemical)
System levels
partial behavior models
synthesis
Cargando...