Filters: Author is Anastasia Mavridou [Clear All Filters]
“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, Springer, 2020, pp. 291–310. paper-347.pdf (5.73 MB)
,