1
Argitaratua 2015
Aurkibidea: ... for Concurrent Reactive Programs with Partial Information -- Shield Synthesis: Runtime Enforcement for Reactive...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2008
Aurkibidea: ... Equations in *-continuous Action Lattices -- Reactive Probabilistic Programs and Refinement Algebra...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2008
Aurkibidea: ... -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based...
Testu osoa
Baliabide elektronikoa eBook