Alkuperäiskieli | Ei tiedossa |
---|---|
Otsikko | Rigorous Development of Complex Fault-Tolerant Systems |
Kustantaja | Springer Berlin / Heidelberg |
Sivut | 261–287 |
ISBN (painettu) | 978-3-540-48265-9 |
Tila | Julkaistu - 2006 |
OKM-julkaisutyyppi | A3 Kirjan osa tai toinen tutkimuskirja |
Formal Service-Oriented Development of Fault Tolerant Communicating Systems
L Laibinis, E Troubitsyna, S Leppänen, Johan Lilius, Q Malik
Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu