GIDDES

swMATH9527MaRDI QIDQ21508FDOQ21508

Author name not available (Why is that?)

Official website: https://www.mta.ca/Community/Research_and_creative/GIDDES/GIDDES_info/GIDDES_info/

Cited In (8)

• On decentralized and distributed control of partially-observed discrete event systems
• Predictability of event occurrences in partially-observed discrete-event systems
• REGAL
• DESUMA
• UMDES
• TCT
• Supremica
• Diagnosability verification using LTL model checking

This page was built for software: GIDDES