Ugrás a tartalomhoz
TUdományos DOkumentumok Közös Keresője
OJS/OCS közös kereső
Egyéb források
in English
|
magyarul
Betűméret:
Súgó
Kereső
Címlap
Keresés
Archívumok
Súgó
Bejelentkezés
Belépés
Jelszó
Regisztráció
Kapcsolat
MTA KIK
HUN-REN SZTAKI DSD
Distributed Runtime Verification of Cyber-Physical Systems Based on Graph Pattern Matching
Metaadatok
Tartalom:
http://hdl.handle.net/10890/15220
Archívum:
Műegyetem Digitális Archívum
Gyűjtemény:
1. Tudományos közlemények, publikációk
Konferenciák gyűjteményei
BME MIT PhD Minisymposium
BME MIT PhD Minisymposium, 2017, 24th (MINISY@DMIS 2017)
Cím:
Distributed Runtime Verification of Cyber-Physical Systems Based on Graph Pattern Matching
Létrehozó:
Szilágyi, Gábor
Vörös, András
Dátum:
2021-04-08T08:29:20Z
2021-04-08T08:29:20Z
2017
Nyelv:
angol
Típus:
könyvfejezet
Formátum:
application/pdf
Azonosító:
http://hdl.handle.net/10890/15220