René S. Nilsson

According to our database, René S. Nilsson authored at least 3 papers between 2019 and 2020.

Collaborative distances:

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

2020

Enabling continuous integration in a formal methods setting.

Luís Diogo Couto, Peter W. V. Tran-Jørgensen, René S. Nilsson, Peter Gorm Larsen

Int. J. Softw. Tools Technol. Transf., 2020

2019

Realization of distributed system models using code generation extensions.

Miran Hasanagic, Peter W. V. Tran-Jørgensen, René S. Nilsson, Peter Gorm Larsen

Softw. Pract. Exp., 2019

The Harvest Coach Architecture: Embedding Deviation-Tolerance in a Harvest Logistic Solution.

Hugo Daniel Macedo, René S. Nilsson, Peter Gorm Larsen

Comput., 2019