Towards Event-B Specification Metrics

Marta Olszewska, Kaisa Sere

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

Alkuperäiskieli	Ei tiedossa
Otsikko	Proceedings of First Deploy Technical Workshop
Toimittajat	M Jastram, L Laibinis, F Lösch, M Mazzara
Kustantaja	First Deploy Technical Workshop
Sivut	81–88
Tila	Julkaistu - 2009
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	conference - Kesto: 1 tammik. 2010 → …

Konferenssi	conference
Ajanjakso	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
Projekti: Research Council of Finland/Other Research Councils

Viittausmuodot

@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",

}