Mostrando
1 - 3
Resultados de
3
Para Buscar '
Felder, M.
'
Saltar al contenido
BDU
3
Inicio
Su cuenta
Salir
Entrar
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Felder, M.
Mostrando
1 - 3
Resultados de
3
Para Buscar '
Felder, M.
'
, tiempo de consulta: 0.01s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
A formal design notation for real-time systems
por
Felder
,
M
.
,
Pezzè, M.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
2
Verification of real-time designs: Combining scheduling theory with automatic formal verification
por
Braberman, V.A.
,
Felder
,
M
.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
3
Modal logic as a design notation
por
Areces, C.
,
Felder
,
M
.
,
Hirsch, D.
,
Yankelevich, D.
,
ACM Special Interest Group on Software Engineering (SIGSOFT)
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Model checking
Software engineering
Analytical theory
Automata theory
Automatic approaches
Computer circuits
Design
Design notations
Design of real time systems
Distributed systems
Embedded systems
Fixed-priority scheduling
Formal analysis of design specification
Formal design specification
Formal logic
Formal verifications
Inverse operators
Inverse problems
Method of modeling
Modal models
Model checking algorithm
Model checking tools
Petri nets
Property specification language
Prototype tools
Real time systems
Scheduling
Scheduling analysis
Software system designs
Specification languages
Cargando...