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

Show all


Kokaly, Sahar

Managing Assurance Cases in Model Based Software Systems PhD Thesis

McMaster University, 2019.

Abstract | Links | BibTeX | Tags: Automotive Safety, Model Based Systems, Model Driven Engineering, safety assurance, software


Azim, A.; Pellizzoni, R.; Fischmeister, S.

Generation of Communication Schedules Using Component Interfaces Proceeding

Proc. of the International Conference on Emerging Technologies and Factory Automation (ETFA) Luxembourg, 2015.

Links | BibTeX | Tags: communication schedules, software

Bialy, Monika; Lawford, Mark; Pantelic, Vera; Wassyng, Alan

A Methodology for the Simplification of Tabular Designs in Model-Based Development Conference

3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE), Florence, Italy, 2015.

Links | BibTeX | Tags: software, tabular designs