Testable Specifications of NoTA-Based Modular Embedded Systems

Dragos Truscan, J Lindqvist, Johan Lilius, Ivan Porres Paltor, T Eriksson, J Rakkola, A Latva-Aho

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

5 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationProceedings of 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008)
PublisherIEEE Computer Society
Publication statusPublished - 2008
MoE publication typeA4 Article in a conference publication
Eventconference -
Duration: 1 Jan 2010 → …


Period01/01/10 → …

Cite this