Especificación formal y verificación de propiedades temporales de procesos de negocios

Main Author: Regis, Germán Enrique
Other Authors: Aguirre, Nazareno Matías, López Pombo, Carlos Gustavo
Format: Tesis Doctoral
Language: Castellano
Published: Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2014
Subjects:
Online Access: http://hdl.handle.net/20.500.12110/tesis_n5429_Regis