Kontakt
A-Z
Träger / Förderer
Datenschutz
Impressum
Hilfe
Mein Konto
English
Katalog
Einfache Suche
Erweiterte Suche
Browsen (DDC)
Suchverlauf
Meine Auswahl
Hilfe
Datenshop
Mein Konto
Ablieferung von Netzpublikationen
Informationsvermittlung
Über die Deutsche
Nationalbibliothek
Katalog der Deutschen Nationalbibliothek
Gesamter Bestand
Musikarchiv
Exilsammlungen
Buchmuseum
Suchformular zurücksetzen
Expertensuche
?
Bitte beachten Sie unsere geänderten
Servicezeiten ab dem 1. November 2024
.
Ergebnis der Suche nach:
tit all "A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)."
im Bestand: Gesamter Bestand
1 - 2 von 2
Datum (neuestes zuerst)
Datum (ältestes zuerst)
Titel (A-Z)
Titel (Z-A)
Name (A-Z)
Name (Z-A)
Interne ID-Nr. aufsteigend
Interne ID-Nr. absteigend
1
A survey of challenges for runtime verification from advanced application domains (beyond software)
Enthalten in Formal methods in system design Bd. 54, 11.11.2019, Nr. 3, date:11.2019: 279-335
2
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software)
Enthalten in Formal methods in system design Bd. 55, 15.11.2019, Nr. 1, date:12.2019: 72
1 - 2 von 2
Alle Materialarten
Online Ressourcen (2)
Artikel (2)
Alle Standorte
Frankfurt (2)
Leipzig (2)
Online (frei zugänglich) (1)
Aktionen
In meine Auswahl übernehmen
Druckansicht
Versenden
News-Feed
Administration