Helios Verification: To Alleviate, or to Nominate: Is That The Question, Or Shall We Have Both?
Neumann, Stephan; Olembo, Maina M.; Renaud, Karen; Volkamer, Melanie
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2014 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-319-10177-4 ISSN: 0302-9743 urn:nbn:de:swb:90-819244 KITopen-ID: 1000081924 |
| Erschienen in | International Conference on Electronic Government and the Information Systems Perspective (EGOVIS), Munich, Germany, September 1 - 3, 2014. Ed.: A. Kö |
| Verlag | Springer |
| Seiten | 246-260 |
| Serie | Lecture Notes in Computer Science (LNCS) ; 8650 |
| Nachgewiesen in | Scopus Dimensions |