Browse by Person

Export as [feed] Atom [feed] RSS
Group by: Item Type | No Grouping
Number of items: 2.

Proceedings Paper

Dimitrova, R., Gazda, M., Mousavi, M.R. et al. (2 more authors) (2020) Conformance-based doping detection for cyber-physical systems. In: Gotsman, A. and Sokolova, A., (eds.) Formal Techniques for Distributed Objects, Components, and Systems. 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, 15-19 Jun 2020, Valletta, Malta. Lecture Notes in Computer Science (12136). Springer International Publishing , pp. 59-77. ISBN 9783030500856

Dimitrova, R., Ferrer Fioriti, L.M., Hermanns, H. et al. (1 more author) (2016) Probabilistic CTL* : the deductive way. In: Chechik, M. and Raskin, J.-F., (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016. Tools and Algorithms for the Construction and Analysis of Systems, 02-08 Apr 2016, Eindhoven, The Netherlands. Lecture Notes in Computer Science (9636). Springer , pp. 280-296. ISBN 9783662496732

This list was generated on Sun Oct 17 04:09:26 2021 BST.