Verifying Linear Duration Properties of Probabilistic Real-time Systems Verifying Linear Duration Properties of Probabilistic Real-time Systems

Abstract

The mission of UNU/IIST is to assist developing countries in the application and development of software technology. UNU/IIST contributes through its programmatic activities: 1. advanced development projects in which software techniques supported by tools are applied, 2. research projects in which new techniques for software development are investigated, 3… (More)

Topics

Cite this paper

@inproceedings{Hung1999VerifyingLD, title={Verifying Linear Duration Properties of Probabilistic Real-time Systems Verifying Linear Duration Properties of Probabilistic Real-time Systems}, author={Dang Van Hung}, year={1999} }