Preverjanje modelov (računalništvo)
Preverjanje modelov (računalništvo)
= Model checking (Computer science)
Authority record - topical subject
< Used for:
Verifikacija modelov (računalništvo)
<< Broader terms:
UDK: 004 // 51
SGC-ID = 4040040
Registration: 22.12.2017