Daniel Sandell

According to our database, Daniel Sandell authored at least 2 papers in 2004.

Collaborative distances:

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

2004

Static Timing Analysis of Real-Time Operating System Code.

Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, Björn Lisper

Proceedings of the Leveraging Applications of Formal Methods, 2004

Static Timing Analysis of Real-Time Operating Systems Code.

Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Daniel Sandell

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