DESUMA

swMATH9524MaRDI QIDQ21505FDOQ21505

Author name not available (Why is that?)

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

Cited In (6)

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

This page was built for software: DESUMA