|
|||||
|
|
A note on the verification of automata specifications of probabilistic real-time systems |
|
| Authors: | Arnaldo V. Moura Guilherme A. Pinto |
| Affiliation: | Institute of Computing, University of Campinas, C.P. 6176, 13083-970, Campinas, SP, Brazil |
| Abstract: | |
| Keywords: | Real-time systems Probabilistic verification Timed automata Nondeterminism |
| 本文献已被 ScienceDirect 等数据库收录！ | |