| |
| 2000 | ||
|---|---|---|
| 7 | EE | Peter Gorm Larsen, Paul Mukherjee, Kim Sunesen: Using VDMTools to Model and Validate the Cash Dispenser Example. Formal Asp. Comput. 12(4): 216-217 (2000) |
| 1998 | ||
| 6 | Paul Mukherjee, Victoria Stavridou: Decomposition in Real-Time Safety-Critical Systems. Real-Time Systems 14(2): 183-202 (1998) | |
| 1997 | ||
| 5 | Paul Mukherjee: Automatic Translation of VDM-SL Specifications into Gofer. FME 1997: 258-277 | |
| 1996 | ||
| 4 | EE | Paul Mukherjee: System Refinement in VDM-SL. ICECCS 1996: 483-492 |
| 1995 | ||
| 3 | Paul Mukherjee, Victoria Stavridou: A Theory pf Orwellian Specifications with NewThink. Formal Asp. Comput. 7(6): 704-727 (1995) | |
| 1994 | ||
| 2 | Paul Mukherjee: A Semantics for NewSpeak in VDM-SL. FME 1994: 480-501 | |
| 1993 | ||
| 1 | Paul Mukherjee, Victoria Stavridou: The Formal Specification of Safety Requirements for Storing Explosives. Formal Asp. Comput. 5(4): 299-336 (1993) | |
| 1 | Peter Gorm Larsen | [7] |
| 2 | Victoria Stavridou | [1] [3] [6] |
| 3 | Kim Sunesen | [7] |