• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Rigorous Communication Modelling at Transaction Level with SystemC

Tomi Metsälä, Tomi Westerlund, Seppo Virtanen, Juha Plosila, Rigorous Communication Modelling at Transaction Level with SystemC. In: ICSOFT 2008: Proceedings of the Third International Conference on Software and Data Technologies, SE/GSDCA/MUSE, 246-251, INSTICC Press, 2008.

BibTeX entry:

@INPROCEEDINGS{inpMeWeViPl08a,
  title = {Rigorous Communication Modelling at Transaction Level with SystemC},
  booktitle = {ICSOFT 2008: Proceedings of the Third International Conference on Software and Data Technologies},
  author = {Metsälä, Tomi and Westerlund, Tomi and Virtanen, Seppo and Plosila, Juha},
  volume = {SE/GSDCA/MUSE},
  publisher = {INSTICC Press},
  pages = {246-251},
  year = {2008},
  keywords = {Embedded Systems, Formal Methods, Action Systems, SystemC},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication