Steen Ulrik Palm

According to our database, Steen Ulrik Palm authored at least 2 papers between 1994 and 2010.

Collaborative distances:

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

2010

Schedulability Analysis Using Uppaal: Herschel-Planck Case Study.

Marius Mikucionis, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, Poul Hougaard

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

1994

Life*ADA: An APSE Integrating Multiple Compiler.

Steen Ulrik Palm

Proceedings of the Ada in Europe, First International Eurospace, 1994