TELJES KATALÓGUS
	Bejelentkezés	|	Keresés vége	|	Beállítások	|	Adatbázisok	|	Súgó	|	Bemutató
	Böngész	|	Keres	|	Találatok	|	Korábbi keresések	|	Saját e-polc	|	BME OMIKK Könyvtár

Rekord teljes nézete

1 / 1 rekord

Raktári jelzet	K-9714
Internet-cím	E-verzió http://hdl.handle.net/10890/13340
Könyvtár info	Központi könyvtár
Országkód	hu
Nyelvkód	eng
Szerző	Molnár Vince
Cím	Extensions and generalization of the saturation algorithm in model checking
Alcím	disszertáció
Szerzőség	Vince Molnár
Év	2019
Terjedelem	107 p. 31 cm
Speciális adat	Doktori (Ph.D.) értekezés
Disszertáció	Budapesti Műszaki és Gazdaságtudományi Egyetem. Villamosmérnöki és Informatikai Kar. Informatikai Tudományok Doktori Iskola (2020-02-18)
Témavezető	Majzik István
Bibliográfia	Bibliogr.: p. 101-107. és a különlenyomatok végén
Tárgyszó	Szoftver
	Verifikáció
	Modellelmélet
	Algoritmus
ETO	681.3.06//1966-2005
	519.686//1966-2005
	510.67//1966-2005
	519.712//1966-2005
Párhuzamos cím	A szaturáció algoritmus kiterjesztése és általánosítása modellellenőrzéshez

© 2006 Ex Libris