Larsen, Peter Gorm, 1964-....
Larsen, Peter G.
Larsen, P. G. (Peter Gorm), 1964-
Peter Gorm Larsen researcher
Larsen, P. G.
Larsen, Peter G. (1964- ).
Larsen, Peter Gorm f. 1964
VIAF ID: 66718013 ( Personal )
Permalink: http://viaf.org/viaf/66718013
Preferred Forms
- 200 _ | ‡a Larsen ‡b Peter G.
-
-
-
- 100 1 0 ‡a Larsen, P. G. ‡q (Peter Gorm), ‡d 1964-
-
-
- 100 1 _ ‡a Larsen, Peter Gorm ‡d 1964-
- 100 1 _ ‡a Larsen, Peter Gorm ‡d 1964-...
-
- 100 1 _ ‡a Larsen, Peter Gorm, ‡d 1964-
- 100 1 _ ‡a Larsen, Peter Gorm, ‡d 1964-....
- 100 0 _ ‡a Peter Gorm Larsen ‡c researcher
4xx's: Alternate Name Forms (12)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Applying co-simulation for an industrial conveyor system | |
Collaborative design for embedded systems : co-modelling and co-simulation | |
FME '93 | |
FME '93 : industrial-strength formal methods : first International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 : proceedings | |
FME '93 : industrial-strength formal methods / J. C. P. Woodcock, P. G. Larsen (eds.). - Berlin, 1993. | |
Ingeniørerne bliver ikke ofre for digitalisering | |
Læserbrev: Samværsproblemer | |
Mens vi venter | |
Modelling systems : practical tools and techniques in software development | |
n93023397 | |
Samfundsvidenskabens elendighed | |
Semantics of the VDM real-time dialect | |
Semantics of under-determined expressions | |
Sofutōea kaihatsu no moderuka gihō | |
Towards proof for the full standard VDM specification language | |
Validated Designs for Object-oriented Systems | |
VDM++によるオブジェクト指向システムの高品質設計と検証 | |
vuidīemu purasupurasu ni yoru obujiekuto shikō shisutemu no kōhinshitsu sekkei to kenshō | |
The ¤14th Overture Workshop | |
ソフトウェア開発のモデル化技法 |