SCELlight

MaRDI QIDQ21866swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-642-54848-2_5

Cited in

(9)

• Klava
• MetaKlaim
• Pirlo
• SCEL
• Helena
• Model-Checking Helena Ensembles with Spin
• Programming and verifying component ensembles
• Programming autonomic systems with multiple constraint stores
• A formal approach to the engineering of domain-specific distributed systems

This page was built for software: SCELlight