REQUIREMENT FORMALIZATION FOR MODEL CHECKING USING EXTENDED BACKUS NAUR FORM
作者： ALIYU E. O. , ADEWALE O. S. , ADETUNMBI A. O. , OJOKOH B. A. ,
关键词:
摘要: … The authors describe the grammar formalism Extended Backus Naur Form (EBNF) to specify … the grammar rule for selective and iterative construct to parse C++ programs. The grammar …
proquest.com
sci-hub.st 参考文章(0)