| 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) |
