To search, Click below search items.

 

All Published Papers Search Service

Results for static verification; Total 1

Title

Creation and Static Verification of Extended Automata Knowledge Base

Author

Germanas Budnikas, Tadeu? Lozovski, Miroslav ?eibak
Citation

Vol. 12  No. 12  pp. 121-128

Keywords

Extended automata, knowledge base, static verification, decision table

[1]