Towards Event-B Specification Metrics

Marta Olszewska, Kaisa Sere

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Proceedings of First Deploy Technical Workshop
Redaktörer	M Jastram, L Laibinis, F Lösch, M Mazzara
Förlag	First Deploy Technical Workshop
Sidor	81–88
Status	Publicerad - 2009
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	conference - Varaktighet: 1 jan. 2010 → …

Konferens	conference
Period	01/01/10 → …

DIJON: Distributed Jointly Operating Networks (Academy of Finland)
Walden, M., Sere, K., Plosila, J., Sandvik, P., Olszewska, M., Tsiopoulos, L., Dahlvik, M., Wiik, J., Laibinis, L., Neovius, M. & Lumme, K.
01/01/08 → 31/12/11
Projekt: Finlands Akademi/Övriga Forskningsråd

Citera det här

@inproceedings{7a73cc9ff2cf457e9de5fcd58a835c4f,

title = "Towards Event-B Specification Metrics",

author = "Marta Olszewska and Kaisa Sere",

year = "2009",

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

pages = "81–88",

editor = "M Jastram and L Laibinis and F L{\"o}sch and M Mazzara",

booktitle = "Proceedings of First Deploy Technical Workshop",

publisher = "First Deploy Technical Workshop",

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

}