Click on a search word OR use the drop-down choices to search for a paper.

Show all

2021

Singh, Neeraj Kumar; Lawford, Mark; Maibaum, Tom; Wassyng, Alan

A formal approach to rigorous development of critical systems Journal Article

In: Journal of Software: Evolution and Process, 2021.

Abstract | Links | BibTeX | Tags: certification, code generation, formal methods, proof‐based development, refinement, simulation, tabular expression, verification and validation

2018

Qian, Zhizhao

High-Fidelity Simulation Model of a Dual FIFO CAN Stack Masters Thesis

McMaster University, 2018.

Abstract | Links | BibTeX | Tags: CAN, Controller Area Network, modeling, SimEvents, simulation, timing analysis

2015

Whinton, Grant

Higher-Fidelity Modelling and Simulation of the CAN Protocol Stack Masters Thesis

McMaster University, 2015.

Abstract | Links | BibTeX | Tags: CAN, Controller Area Network, modelling, network analysis, SimEvents, simulation