Development of Safety-Critical Control Systems in Event-B Using FMEA
| Tekijät: | Prokhorova, Yuliya; Troubitsyna, Elena; Laibinis, Linas, Kharchenko, Vyacheslav |
|---|---|
| Kieli: |
englanti |
| Julkaisutyyppi: |
A3 Kirjan tai muun kokoomateoksen osa |
| Julkaisufoorumiluokka : | 1 |
| JUFO-ID: | 5478 |
| Julkaisija: | IGI Global |
| Julkaisuvuosi: |
2011 |
| Sivunumerot: | 75 - 91 |
| Tieteenala: |
Luonnontieteet Tietojenkäsittely ja informaatiotieteet |
| Koulutusala: |
Luonnontieteellinen |
| Paikalliset tekijät ja heidän affiliaationsa: |
Troubitsyna, Elena - Åbo Akademi, Datavetenskap Laibinis, Linas - Åbo Akademi, Datavetenskap Prokhorova, Yuliya - Åbo Akademi, Datavetenskap |
| Sarja: |
Dependability and Computer Engineering: Concepts for Software-Intensive Systems |
| Organisaation sisäinen affiliaatio: |
Åbo Akademi, Datavetenskap |