AADL

swMATH20835MaRDI QIDQ32649FDOQ32649

Author name not available (Why is that?)

Cited In (3)

• Timed CTL model checking in Real-Time Maude
• Hybrid multirate PALS
• Formal modelling and verification of GALS systems using GRL and CADP

This page was built for software: AADL