Qualitative Reasoning. Master thesis of ▇▇▇▇ ▇▇▇▇▇▇ on developing tool support for qualitative reasoning in Event-B [14] . • The development of ▇▇▇▇▇'▇ Choice Coordination Algorithm is available at the DEPLOY Repository [15] . • A paper describing the development of ▇▇▇▇▇ Choice Coordination algorithm and tool support in the Proceedings of AVoCS'10 [8] .
Appears in 2 contracts
Sources: Grant Agreement, Grant Agreement