Sökning

Hänvisningar gällande denna post

APA-referens

Buzhinskii, I. (2019). Combined use of formal methods for reliability assurance of software for safety-critical systems. Aalto University.

Chicago-stil citat

Buzhinskii, Igor. Combined Use of Formal Methods for Reliability Assurance of Software for Safety-critical Systems. Helsinki: Aalto University, 2019.

MLA-referens

Buzhinskii, Igor. Combined Use of Formal Methods for Reliability Assurance of Software for Safety-critical Systems. Aalto University, 2019.

Harvard-stil citat

Buzhinskii, I. 2019. Combined use of formal methods for reliability assurance of software for safety-critical systems. Helsinki: Aalto University.

Kom ihåg att kontrollera att källhänvisningarna är korrekta innan du använder dem i din text.