Filter your results
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
2 results
|
|
sorted by
|
|
A New Data Integrity Checking Protocol with Public Verifiability in Cloud Storage6th International Conference on Trust Management (TM), May 2012, Surat, India. pp.240-246, ⟨10.1007/978-3-642-29852-3_19⟩
Conference papers
hal-01517664v1
|
||
|
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
|