Daniel Silveira

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 2

Top Topics

Reactive Systems

Travelling Salesman

Reference Architecture

Top Venues

ECSA (Companion)

Publications

Daniel Silveira, Andreas Jung, Marcel Verhoef, Tiago Jorge
Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP. FM (2019)
Elena Alaña, Javier Herrero, Santiago Urueña, Krystyna Macioszek, Daniel Silveira
A reference architecture for space systems. ECSA (Companion) (2018)