SynchAADL2Maude

swMATH13325MaRDI QIDQ25240FDOQ25240

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/978-3-642-28872-2_4

Cited In (6)

• Hybrid multirate PALS
• Romeo
• BPEL2oWFN
• TSMV
• AADL
• Executable rewriting logic semantics of Orc and formal analysis of Orc programs

This page was built for software: SynchAADL2Maude