Testable Specifications of NoTA-Based Modular Embedded Systems

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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

5 Sitaatiot (Scopus)

Alkuperäiskieli	Ei tiedossa
Otsikko	Proceedings of 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008)
Kustantaja	IEEE Computer Society
Sivut	–
Tila	Julkaistu - 2008
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	conference - Kesto: 1 tammik. 2010 → …

Konferenssi	conference
Ajanjakso	01/01/10 → …

Viittausmuodot

@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. s. –.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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 -