Model checking ^{الإنجليزية} (Q3249106)

verifying whether a finite-state model meets a given specification ^{الإنجليزية}

اللغة	التسمية	الوصف	أسماء أخرى
العربية	لم تُضف التسمية	لا يوجد وصف
الإنجليزية	Model checking	verifying whether a finite-state model meets a given specification

بيانات

Wikidata item ^{الإنجليزية}

٠ مرجع

topic's main category ^{الإنجليزية}

Category:Model checking ^{الإنجليزية}

١ مراجع

Freebase ID ^{الإنجليزية}

١ مراجع

Commons category ^{الإنجليزية}

Model checking (computer science)

١ مراجع

Microsoft Academic ID ^{الإنجليزية}

١ مراجع

subclass of ^{الإنجليزية}

١ مراجع