Preverjanje modelov (računalništvo)
Preverjanje modelov (računalništvo)
= Model checking (Computer science)
Normativni zapis - občno ime
< Uporabljeno za:
Verifikacija modelov (računalništvo)
<< Širši izrazi:
UDK: 004 // 51
SGC-ID = 4040040
Vpis: 22.12.2017