Publications

Filters: Author is Anastasia Mavridou  [Clear All Filters]
2020
P. R. D'Argenio, Fraire, J. A., and Hartmanns, A., “Sampling Distributed Schedulers for Resilient Space Communication”, in NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings, vol. 12229, R. Lee, Jha, S., and Mavridou, A., Eds. Springer, 2020, pp. 291–310.PDF icon paper-794.pdf (5.73 MB)

Dependable Systems Group - FAMAF, Universidad Nacional de Córdoba
Medina Allende s/n (Ciudad Universitaria) - X5000HUA Córdoba, Argentina
Tel: +54 351 535 3701, ext. 41306 - Fax: +54 351 433 4054