Haku

Tietueen sitaatit

APA-viite

IEEE Xplore (Online Service), jakaja, Wiley InterScience (Online service), julkaisija, Gnesi, S., & Margaria-Steffen, T. (2012). Formal methods for industrial critical systems: A survey of applications. John Wiley and Sons Incorporated. https://doi.org/10.1002/9781118459898

Chicago-tyylinen lähdeviittaus

IEEE Xplore (Online Service), jakaja, julkaisija Wiley InterScience (Online service), Stefania Gnesi, ja Tiziana Margaria-Steffen. Formal Methods for Industrial Critical Systems: A Survey of Applications. Hoboken, New Jersey: John Wiley and Sons Incorporated, 2012. https://doi.org/10.1002/9781118459898.

MLA-viite

IEEE Xplore (Online Service), jakaja, et al. Formal Methods for Industrial Critical Systems: A Survey of Applications. John Wiley and Sons Incorporated, 2012. https://doi.org/10.1002/9781118459898.

Harvard-tyylinen lähdeviittaus

IEEE Xplore (Online Service), j., Wiley InterScience (Online service), j., Gnesi, S. & Margaria-Steffen, T. 2012. Formal methods for industrial critical systems: A survey of applications. Hoboken, New Jersey: John Wiley and Sons Incorporated.

Muista tarkistaa viitteiden oikeellisuus, ennen kuin käytät niitä tekstissäsi.