Filter your results
- 2
- 2
- 2
- 2
- 8
- 6
- 17
- 2
- 3
- 6
- 6
- 7
- 5
- 12
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Goal-Oriented Monitoring Adaptation: Methodology and Patterns8th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2014, Brno, Czech Republic. pp.133-146, ⟨10.1007/978-3-662-43862-6_17⟩
Conference papers
hal-01401300v1
|
||
|
|
A Hoare-Like Calculus Using the SROIQσ Logic on Transformations of Graphs8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.164-178, ⟨10.1007/978-3-662-44602-7_14⟩
Conference papers
hal-01402040v1
|