Abstraction-Based Model Checking of Linear Temporal Properties
  • Metaadatok
Tartalom: http://real.mtak.hu/107359/
Archívum: REAL
Gyűjtemény: Status = Published
Subject = Q Science / természettudomány: QA Mathematics / matematika: QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány
Subject = Z Bibliography. Library Science. Information Resources / könyvtártudomány: ZA Information resources / információforrások: ZA4050 Electronic information resources / elektronikus információforrások
Type = Conference or Workshop Item
Cím:
Abstraction-Based Model Checking of Linear Temporal Properties
Létrehozó:
Mondok, Milán
Vörös, András
Kiadó:
Budapest University of Technology and Economics, Department of Measurement and Information Systems
Dátum:
2020
Téma:
QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány
ZA4050 Electronic information resources / elektronikus információforrások
Nyelv:
angol
Típus:
Conference or Workshop Item
NonPeerReviewed
info:eu-repo/semantics/conferenceObject
Formátum:
text
Azonosító:
Mondok, Milán and Vörös, András (2020) Abstraction-Based Model Checking of Linear Temporal Properties. In: 27th Minisymposium, 2020.02.05, Budapest.
Kapcsolat:
MTMT:31254378