Daniel Silveira

According to our database, Daniel Silveira authored at least 2 papers between 2018 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP.

Daniel Silveira, Andreas Jung, Marcel Verhoef, Tiago Jorge

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

A reference architecture for space systems.

Elena Alaña, Javier Herrero, Santiago Urueña, Krystyna Macioszek, Daniel Silveira

Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings, 2018