To search, Click below search items. |
| All Published Papers Search Service |
|
|
|
Title |
Use of Labview Software for Measuring the Change of Surface Potential of Thin Dielectric Layers |
|
Author |
Justinas Jurk?us, Tadeu? Lozovski, Miroslav ?eibak, Germanas Budnikas |
| Citation |
Vol. 12 No. 12 pp. 115-120 |
|
Keywords |
LabView, Real Time Monitoring and Control, Method of Dosed Charging |
|
Title |
Creation and Static Verification of Extended Automata Knowledge Base |
|
Author |
|
| Citation |
Vol. 12 No. 12 pp. 121-128 |
|
Keywords |
Extended automata, knowledge base, static verification, decision table |
|
Title |
|
|
Author |
|
| Citation |
Vol. 12 No. 12 pp. 129-135 |
|
Keywords |
Estelle specification, first order predicates, alternating bit protocol |
