LusSy

swMATH14918MaRDI QIDQ26813FDOQ26813

Author name not available (Why is that?)

Cited In (3)

• 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

This page was built for software: LusSy