> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems Beteiligte: Paolieri, Marco; Biagi, Marco; Carnevali, Laura; Vicario, Enrico Erschienen: Institute of Electrical and Electronics Engineers (IEEE), 2021 Erschienen in: IEEE Transactions on Software Engineering, 47 (2021) 6, Seite 1211-1225 Sprache: Nicht zu entscheiden DOI: 10.1109/tse.2019.2917202 ISSN: 0098-5589; 1939-3520; 2326-3881 Entstehung: Anmerkungen: