> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Preface to the special section on improving software quality through formal methods Beteiligte: Falcone, Yliès; Mariani, Leonardo Erschienen: Springer Science and Business Media LLC, 2020 Erschienen in: Software Quality Journal, 28 (2020) 2, Seite 693-694 Sprache: Englisch DOI: 10.1007/s11219-020-09508-z ISSN: 0963-9314; 1573-1367 Schlagwörter: Safety, Risk, Reliability and Quality ; Software Entstehung: Anmerkungen: