• Submitted

  Formal methods for design and simulation of embedded systems

  Publication: Research › Ph.d. thesis – Annual report year: 2013

• Published

  Formal heterogeneous system modeling with SystemC

  Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

• Published

  System level modelling with open source tools

  Publication: Research - peer-review › Paper – Annual report year: 2012

View all »

• DTU Informatik, Danmarks Tekniske Universitet

  Local database

  Publisher

• IEEE, 0-7803

  Central database

  Publisher

• Intech

  Local database

  Publisher

View all »

• Formal methods for design and simulation of embedded systems

  Project: PhD