PAPERS

Title:Component-based Design and Verification in X-MAN
Links:Document as PDF
Authors:Nannan He
Daniel Kroening EMail
Thomas Wahl
Kung-Kiu Lau
Faris Taweel
Cuong M. Tran
Philipp Rümmer
Sanjiv S. Sharma
Remarks:
Topics:

Bibtex:

@inproceedings{erts2012,
  AUTHOR    = { He, Nannan
                and Kroening, Daniel
                and Wahl, Thomas
                and Lau, Kung-Kiu
                and Taweel, Faris
                and Tran, Cuong M. 
                and R{\"u}mmer, Philipp
                and Sharma, Sanjiv S. },
  TITLE     = { Component-based Design and Verification in {X-MAN} },
  BOOKTITLE = { Embedded Real Time Software and Systems (ERTS2) },
  YEAR      = { 2012 },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.