LusSy

swMATH14918MaRDI QIDQ26813FDOQ26813

Author name not available (Why is that?)

Official website: http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=1508127

Cited In (8)

• Facilitating the design of fault tolerance in transaction level SystemC programs
• Software model checking with explicit scheduler and symbolic threads
• Compositional reactive semantics of SystemC and verification with RuleBase
• B4Free
• SystemC
• Pinapa
• RAVEN
• PROMETHEUS

This page was built for software: LusSy