Herman Ågren

According to our database, Herman Ågren authored at least 1 paper in 2004.

Collaborative distances:

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

2004

Designing Safe, Reliable Systems using Scade.

Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004