Validated Designs for Object-oriented Systems
Fitzgerald, John, Larsen, Peter Gorm, Mukherjee, Paul, Plat, Nico, Verhoef, Marcel
Year of Publication 2005
Year of Publication 2005
Get full text
eBook
Using VDMTools to Model and Validate the Cash Dispenser Example
Larsen, Peter Gorm, Mukherjee, Paul, Sunesen, Kim
Published in Formal aspects of computing (01.12.2000)
Published in Formal aspects of computing (01.12.2000)
Get full text
Journal Article
Homeopathic mother tincture of Phytolacca decandra induces apoptosis in skin melanoma cells by activating caspase-mediated signaling via reactive oxygen species elevation
Ghosh, Samrat, Bishayee, Kausik, Paul, Avijit, Mukherjee, Avinaba, Sikdar, Sourav, Chakraborty, Debrup, Boujedaini, Naoual, Khuda-Bukhsh, Anisur Rahman
Published in Journal of integrative medicine (01.03.2013)
Published in Journal of integrative medicine (01.03.2013)
Get full text
Journal Article
Communication Converging towards Adaptive Intelligence: A Survey
Paul, Avijit, Paul, Amrita Mukherjee, Ghosh, Kuntal
Published in 2016 2nd International Conference on Computational Intelligence and Networks (CINE) (01.01.2016)
Published in 2016 2nd International Conference on Computational Intelligence and Networks (CINE) (01.01.2016)
Get full text
Conference Proceeding
Journal Article
Intro
Fitzgerald, John, Larsen, Peter Gorm, Verhoef, Marcel, Mukherjee, Paul, Plat, Nico
Published in Validated Designs for Object-Oriented Systems (2005)
Get full text
Published in Validated Designs for Object-Oriented Systems (2005)
Book Chapter
Appendices
Fitzgerald, John, Larsen, Peter Gorm, Verhoef, Marcel, Mukherjee, Paul, Plat, Nico
Published in Validated Designs for Object-Oriented Systems (2005)
Get full text
Published in Validated Designs for Object-Oriented Systems (2005)
Book Chapter