scientific article; zbMATH DE number 1444738

MaRDI QIDQ4952319zbMATH OpenFDO

Authors Tiegeng Luo, Huowang Chen, Bingshan Wang, Ji Wang, Zhichang Qi, Zhenghu Gong

Publication date 29 January 2001

zbMATH Keywords

alternating real-time probabilistic process modeldistributed probabilistic real-time systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Verifying automata specification of distributed probabilistic real-time systems
• Automatic verification of real-time systems with discrete probability distributions.
• scientific article; zbMATH DE number 176728
• Model checking for probabilistic timed automata
• scientific article; zbMATH DE number 1759607

Cited in

(1)

• Verifying automata specification of distributed probabilistic real-time systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4952319)