Jan Storbank Pedersen

Publication Activity (10 Years)

Years Active: 1980-2010
Publications (10 Years): 0

Publications

Marius Mikucionis, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, Poul Hougaard
Schedulability Analysis Using Uppaal: Herschel-Planck Case Study. ISoLA (2) (2010)
Tullio Vardanega, Gert Caspersen, Jan Storbank Pedersen
A Case Study in the Reuse of On-board Embedded Real-Time Software. Ada-Europe (1999)
Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau
Experience from Applications of RAISE. FME (1993)
D. L. Chalmers, Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau
Using RAISE - First Impressions from the LaCoS Applications. VDM Europe (1) (1991)
Jan Storbank Pedersen
Some Thoughts on the Use of Special Purpose Languages for Real-Time Programming. IFIP Congress (1989)
Jan Storbank Pedersen
VDM in Three Generations of Ada* Formal Descriptions. VDM Europe (1987)
Jan Storbank Pedersen
A Formal Semantics Definition of Sequential Ada. Towards a Formal Description of Ada (1980)