Verification of fault tolerant safety I&C systems using model checking

Antti Pakonen, Igor Buzhinsky

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

3 Sitaatiot (Scopus)

Sormenjälki

Sukella tutkimusaiheisiin 'Verification of fault tolerant safety I&C systems using model checking'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Engineering & Materials Science