DESUMA

swMATH9524MaRDI QIDQ21505FDOQ21505

Author name not available (Why is that?)

Cited In (2)

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

This page was built for software: DESUMA