Publications
] Filters: First Letter Of Title is S [Clear All Filters]
"Status and Actual Risk Monitoring in a NPP Reactor Protection System",
Probabilistic safety assessment and management. Proceedings of thje PSAM7 - ESREL'04 Conference, Berlin, Springer, pp. 2654 - 2659, 2004.
UT: 000223579900425
"Supporting Dynamic Graphs and Temporal Entity Deletions in the LDBC Social Network Benchmark's Data Generator",
GRADES-NDA at SIGMOD/PODS: ACM, 2020.
"SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity",
Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, vol. 17: Springer, pp. 170-190, 2008.
Abstract
- « first
- ‹ previous
- 1
- 2
- 3
