Toggle navigation
Notables
de la Ciencia
ACERCA DE
PROYECTO
Historia del proyecto
Contacto
JavaScript is disabled for your browser. Some features of this site may not work without it.
LEE MATIAS DAVID
Datos académicos
Lugar de trabajo
UNIVERSIDAD NACIONAL DE CORDOBA / FACULTAD DE MATEMATICA, ASTRONOMIA Y FISICA
Título
Licenciado en Ciencias de la Computación
Grado
Universitario de grado
Campo de aplicación
Defensa y seguridad-Otros
Especialidad
Métodos formales e Ingenieria del Software
PRODUCCION CIENTÍFICO TECNOLÓGICA
Mostrando ítems 1-3 de 3
Artículo
A general SOS theory for the specification of probabilistic transition systems
D'argenio, Pedro Ruben
;
Gebler, Daniel
;
Lee, Matias David
(
Academic Press Inc Elsevier Science
,
2016-03
)
Artículo
Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules
D'argenio, Pedro Ruben
;
Gebler, Daniel
;
Lee, Matias David
(
Springer Verlag Berlín
,
2014-04
)
Artículo
Describing secure interfaces with interface automata
Lee, Matias David
;
D'argenio, Pedro Ruben
(
Elsevier
,
2010-08
)
Mostrando ítems 1-3 de 3