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 proceeding › Conference contribution › Scientific › peer-review

5 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	Proceedings of 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008)
Publisher	IEEE Computer Society
Pages	–
Publication status	Published - 2008
MoE publication type	A4 Article in a conference publication
Event	conference - Duration: 1 Jan 2010 → …

Conference	conference
Period	01/01/10 → …

Cite this

@inproceedings{c597313107b148ef8ec3c2bbf9f6c670,

title = "Testable Specifications of NoTA-Based Modular Embedded Systems",

author = "Dragos Truscan and J Lindqvist and Johan Lilius and {Porres Paltor}, Ivan and T Eriksson and J Rakkola and A Latva-Aho",

year = "2008",

language = "Odefinierat/ok{\"a}nt",

pages = "–",

booktitle = "Proceedings of 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008)",

publisher = "IEEE Computer Society",

note = "conference ; Conference date: 01-01-2010",

}

Testable Specifications of NoTA-Based Modular Embedded Systems. / Truscan, Dragos; Lindqvist, J; Lilius, Johan et al.
Proceedings of 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008). IEEE Computer Society, 2008. p. –.

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Testable Specifications of NoTA-Based Modular Embedded Systems

AU - Truscan, Dragos

AU - Lindqvist, J

AU - Lilius, Johan

AU - Porres Paltor, Ivan

AU - Eriksson, T

AU - Rakkola, J

AU - Latva-Aho, A

PY - 2008

Y1 - 2008

M3 - Konferensbidrag

SP - –

BT - Proceedings of 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008)

PB - IEEE Computer Society

T2 - conference

Y2 - 1 January 2010

ER -