The following pages link to (Q3026316):
Displaying 3 items.
- Foundations of Boolean stream runtime verification (Q278752) (← links)
- Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications (Q1004062) (← links)
- Formal verification of synchronous data-flow program transformations toward certified compilers (Q2418653) (← links)
