DESUMA

MaRDI QIDQ21505swMATHFDO

Official website http://www.eecs.umich.edu/umdes/toolboxes.html

Cited in

(7)

• Predictability of event occurrences in partially-observed discrete-event systems
• Diagnosability verification using LTL model checking
• REGAL
• GIDDES
• UMDES
• TCT
• Supremica

This page was built for software: DESUMA