Showing 7 publications
The Event-Triggered and Time-Triggered Medium-Access Methods
On Systematic Design of Globally Consistent Executable Assertions in Embedded Software
PROPANE: An Environment for Examining the Propagation of Errors in Software
Component-Based Synthesis of Dependable Embedded Software
A Control Theory Approach for Analyzing the Effects of Data Errors in Safety-Critical Control Systems
An Approach to Specify and Test Component-Based Dependable Software
On the Placement of Software Mechanisms for Detection of Data Errors
Download publication list
You can download this list to your computer.
Filter and download publication list
As logged in user (Chalmers employee) you find more export functions in MyResearch.
You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:
Mendeley Web Importer
The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.