Filters: Author is Luca de Alfaro  [Clear All Filters]
2001
P. R. D'Argenio, Hermanns, H., Katoen, J. - P., and Klaren, R., “MoDeST - A Modelling and Description Language for Stochastic Timed Systems”, in Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings, 2001, vol. 2165, pp. 87-104.PDF icon paper-201.pdf (284.8 KB)
P. R. D'Argenio, Jeannet, B., Jensen, H. E., and Larsen, K. G., “Reachability Analysis of Probabilistic Systems by Successive Refinements”, in Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings, 2001, vol. 2165, pp. 39-56.PDF icon paper-200.pdf (327.48 KB)

Pedro R. D'Argenio (pedro.dargenio [at] unc.edu.ar)
Dependable Systems Group - FAMAF, Universidad Nacional de Córdoba
Medina Allende s/n (Ciudad Universitaria) - X5000HUA Córdoba, Argentina
Tel: +54 351 535 3701, ext. 41306 - Fax: +54 351 433 4054