ProBE

swMATH16238MaRDI QIDQ28108FDOQ28108

Author name not available (Why is that?)

Official website: http://www.fsel.com/software.html

Cited In (10)

• Enabling synchronous and asynchronous communications in CSP for SOC
• Symbolic analysis tools for CSP
• JACK
• CZT
• Alcoa
• FDR2
• SOFA 2.0
• PACC starter kit
• Rigorous development of component-based systems using component metadata and patterns
• Efficient symbolic computation of process expressions

This page was built for software: ProBE