Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)."
Link zu diesem Datensatz | https://d-nb.info/1206481811 |
Titel | A survey of challenges for runtime verification from advanced application domains (beyond software) / by César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srđan Krstić, Joa̋o M. Lourenço, Dejan Nickovic, Gordon J. Pace, Jose Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss |
Person(en) |
Sánchez, César (Verfasser) Schneider, Gerardo (Verfasser) Ahrendt, Wolfgang (Verfasser) Bartocci, Ezio (Verfasser) Bianculli, Domenico (Verfasser) Colombo, Christian (Verfasser) Falcone, Yliès (Verfasser) Francalanza, Adrian (Verfasser) Krstić, Srđan (Verfasser) Lourenço, Joa̋o M. (Verfasser) Nickovic, Dejan (Verfasser) Pace, Gordon J. (Verfasser) Rufino, Jose (Verfasser) Signoles, Julien (Verfasser) Traytel, Dmitriy (Verfasser) Weiss, Alexander (Verfasser) |
Organisation(en) | SpringerLink (Online service) (Sonstige) |
Umfang/Format | Online-Ressource : online resource. |
Persistent Identifier |
URN: urn:nbn:de:101:1-2020031407543292792709 DOI: 10.1007/s10703-019-00337-w |
URL | https://doi.org/10.1007/s10703-019-00337-w (Open Access) |
Zeitliche Einordnung | Erscheinungsdatum: 2019 |
DDC-Notation | 004.3 (maschinell ermittelte DDC-Kurznotation) |
Sprache(n) | Englisch (eng) |
Beziehungen | Enthalten in: Formal methods in system design (Bd. 54, 11.11.2019, Nr. 3, date:11.2019: 279-335) |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |