Pages that link to "Item:Q2486398"

The following pages link to Bridging the gap between fair simulation and trace inclusion (Q2486398):

Displaying 3 items.

• Synthesis of Reactive(1) designs (Q439954) (← links)
• Taming Dr. Frankenstein: contract-based design for cyber-physical systems (Q1937313) (← links)
• GR(1)*: GR(1) specifications extended with existential guarantees (Q1982646) (← links)