A Framework for Formal Verification of Real-Time Systems
  • Metaadatok
Tartalom: http://hdl.handle.net/10890/15246
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, 2015, 22nd
Cím:
A Framework for Formal Verification of Real-Time Systems
Létrehozó:
Tóth, Tamás
Majzik, István
Dátum:
2021-04-19T14:35:18Z
2021-04-19T14:35:18Z
2015
Nyelv:
angol
Típus:
könyvfejezet
Formátum:
application/pdf
Azonosító: