The following pages link to KRATOS (Q19825):
Displaying 3 items.
- Facilitating the design of fault tolerance in transaction level SystemC programs (Q391252) (← links)
- Denotational semantics and its algebraic derivation for an event-driven system-level language (Q903516) (← links)
- Boosting Lazy Abstraction for SystemC with Partial Order Reduction (Q3000665) (← links)
