( en | de | ru )

 

Disambiguation of "Pedersen, Jan Storbank"

Author of the publication

copydeleteadd this publication to your clipboard
Using RAISE - First Impressions from the LaCoS Applications.

, , , , and . VDM Europe (1), volume 551 of Lecture Notes in Computer Science, page 645-657. Springer, (1991)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ulf Pedersen

Vera Pedersen

Ole Pedersen

Susanne Pedersen

Ena Pedersen

 

Other publications of authors with the same name

Experience from Applications of RAISE., , , and . FME, volume 670 of Lecture Notes in Computer Science, page 52-63. Springer, (1993)Using RAISE - First Impressions from the LaCoS Applications., , , , and . VDM Europe (1), volume 551 of Lecture Notes in Computer Science, page 645-657. Springer, (1991)A Case Study in the Reuse of On-board Embedded Real-Time Software., , and . Ada-Europe, volume 1622 of Lecture Notes in Computer Science, page 425-436. Springer, (1999)Some Thoughts on the Use of Special Purpose Languages for Real-Time Programming.. IFIP Congress, page 19-20. North-Holland/IFIP, (1989)VDM in Three Generations of Ada* Formal Descriptions.. VDM Europe, volume 252 of Lecture Notes in Computer Science, page 33-48. Springer, (1987)A Formal Semantics Definition of Sequential Ada.. Towards a Formal Description of Ada, volume 98 of Lecture Notes in Computer Science, page 213-308. Springer, (1980)Schedulability Analysis Using Uppaal: Herschel-Planck Case Study., , , , , , , and . ISoLA (2), volume 6416 of Lecture Notes in Computer Science, page 175-190. Springer, (2010)