OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Institution is :Other partners > McMaster University (CANADA)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items at this level: 5.

Singh, Neeraj Kumar and Lawford, Mark and Maibaum, Thomas S. E. and Wassyng, Alan Use of Tabular Expressions for Refinement Automation. (2017) In: MEDI 2017 - Model and Data Engineering - 7th International Conference, 4 October 2017 - 6 October 2017 (Barcelona, Spain).

Mery, Dominique and Singh, Neeraj Kumar Analyzing Requirements Using Environment Modelling. (2015) In: Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health - 6th International Conference (DHM 2015), 2 August 2015 - 7 August 2015 (Los Angeles, United States).

Singh, Neeraj Kumar and Lawford, Mark and Maibaum, Thomas S. E. and Wassyng, Alan Formalizing the Cardiac Pacemaker Resynchronization Therapy. (2015) In: Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health - 6th International Conference (DHM 2015), 2 August 2015 - 7 August 2015 (Los Angeles, United States).

Cassano, Valentin and Grigorova, Silviya and Singh, Neeraj Kumar and Adedjouma, Morayo and Lawford, Mark and Maibaum, Thomas S. E. and Wassyng, Alan Is current incremental safety assurance sound ? (2015) In: Computer Safety, Reliability, and Security - SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings, 22 September 2015 (Delft, Netherlands).

Singh, Neeraj Kumar and Wang, Hao and Lawford, Mark and Maibaum, Thomas S. E. and Wassyng, Alan Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements. (2015) In: Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health - 6th International Conference (DHM 2015), 2 August 2015 - 7 August 2015 (Los Angeles, United States).

This list was generated on Mon Sep 20 19:50:15 2021 CEST.