Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten Dienstag 9. Dezember 2025: Die Lesesäle der Deutschen Nationalbibliothek in Leipzig öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 9 December 2025: The reading rooms of the German National Library in Leipzig will open at 13:00 due to a staff assembly.
 
 

Ergebnis der Suche nach: "Martin" and "Schmitz"



Treffer 402 von 428 < < > <



Artikel
Link zu diesem Datensatz https://d-nb.info/1215395205
Titel Runtime verification of real-time event streams under non-synchronized arrival / by Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm
Person(en) Leucker, Martin (Verfasser)
Sánchez, César (Verfasser)
Scheffel, Torben (Verfasser)
Schmitz, Malte (Verfasser)
Schramm, Alexander (Verfasser)
Organisation(en) SpringerLink (Online service) (Sonstige)
Umfang/Format Online-Ressource : online resource.
Persistent Identifier URN: urn:nbn:de:101:1-2020080720461476167531
DOI: 10.1007/s11219-019-09493-y
URL https://doi.org/10.1007/s11219-019-09493-y (Open Access)
Zeitliche Einordnung Erscheinungsdatum: 2020
DDC-Notation 005.14 (maschinell ermittelte DDC-Kurznotation)
Sprache(n) Englisch (eng)
Beziehungen Enthalten in: Software quality journal (Bd. 28, 18.4.2020, Nr. 2, date:6.2020: 745-787)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 402 von 428
< < > <


E-Mail-IconAdministration