GRL

swMATH16845MaRDI QIDQ28709FDOQ28709

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/978-3-319-11737-9_15

Cited In (3)

• Formal modelling and verification of GALS systems using GRL and CADP
• Polychrony
• AADL

This page was built for software: GRL