> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Formally verifying human–automation interaction as part of a system model: limitations and tradeoffs Beteiligte: Bolton, Matthew L.; Bass, Ellen J. Erschienen: Springer Science and Business Media LLC, 2010 Erschienen in: Innovations in Systems and Software Engineering Sprache: Englisch DOI: 10.1007/s11334-010-0129-9 ISSN: 1614-5054; 1614-5046 Schlagwörter: Software Entstehung: Anmerkungen: