Pages that link to "Item:Q378902"

The following pages link to Integrating discrete controller synthesis into a reactive programming language compiler (Q378902):

Displaying 2 items.

• Synthesizing structural and behavioral control for reconfigurations in component-based systems (Q282089) (← links)
• Concurrency bugs in multithreaded software: modeling and analysis using Petri nets (Q2393141) (← links)