mtmt
Magyar Tudományos Művek Tára
XML
JSON
Átlépés a keresőbe
In English
Model checking and test generation: towards a combined approach to software verification
Dobos-Kovács, Mihály [Dobos-Kovács, Mihály (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK)
;
Vörös, András [Vörös, András (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); MTA-BME Lendület Kiber-fizikai Rendszerek Kutat... (BME / VIK / MIT)
Angol nyelvű Konferenciaközlemény (Könyvrészlet) Tudományos
Megjelent:
Pataki Béla. Proceedings of the 26th Minisymposium of the Department of Measurement and Information Systems. (2019) ISBN:9789633133149
pp. 12-15
Azonosítók
MTMT: 31396950
Repozitóriumban:
http://hdl.handle.net/10890/15174
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
CSL
Másolás
Nyomtatás
2025-02-12 17:41
×
Lista exportálása irodalomjegyzékként
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
Nyomtatás
Másolás