Adrian Farmadin

According to our database, Adrian Farmadin authored at least 1 paper in 2016.

Collaborative distances:

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

2016

Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC.

Lubos Korenciak, Vojtech Rehák, Adrian Farmadin

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016