Filter your results
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
2 results
|
|
|
sorted by
|
|
|
A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.136-149, ⟨10.1007/978-3-642-28038-2_11⟩
Conference papers
hal-01527384v1
|
||
|
|
HTCPNs–Based Modelling and Evaluation of Dynamic Computer Cluster Reconfiguration4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.97-108, ⟨10.1007/978-3-642-28038-2_8⟩
Conference papers
hal-01527395v1
|