( en | de | ru )

 

Disambiguation of "Mukherjee, Paul"

Author of the publication

copydeleteadd this publication to your clipboard
Using VDMTools to Model and Validate the Cash Dispenser Example.

, , and . Formal Aspects Comput., 12 (4): 216-217 (2000)

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.

Santanu Mukherjee

Oindrilla Mukherjee

Rick Mukherjee

Vera Mukherjee

Dipak Mukherjee

 

Other publications of authors with the same name

A Semantics for NewSpeak in VDM-SL.. FME, volume 873 of Lecture Notes in Computer Science, page 480-501. Springer, (1994)Using VDMTools to Model and Validate the Cash Dispenser Example., , and . Formal Aspects Comput., 12 (4): 216-217 (2000)Newthink - An Orwellian specification language for real-time safety critical systems., and . RTS, page 128-133. IEEE, (1992)Computer-aided validation of formal specifications.. Softw. Eng. J., 10 (4): 133-140 (1995)The Ammunition Control System., and . Proof in VDM, Springer, (1998)A Theory pf Orwellian Specifications with NewThink., and . Formal Aspects Comput., 7 (6): 704-727 (1995)The Formal Specification of Safety Requirements for Storing Explosives., and . Formal Aspects Comput., 5 (4): 299-336 (1993)System Refinement in VDM-SL.. ICECCS, page 483-492. IEEE Computer Society, (1996)Automatic Translation of VDM-SL Specifications into Gofer.. FME, volume 1313 of Lecture Notes in Computer Science, page 258-277. Springer, (1997)Decomposition in Real-Time Safety-Critical Systems., and . Real Time Syst., 14 (2): 183-202 (1998)