Távolságleírón alapuló szimmetrikus logikai függvényeket megvalósító szoftverkapuból létrehozott esenényvezérelt vezérlési háló szoftvermodelljének tevezése és verifikációja
Távolságleírón alapuló szimmetrikus logikai függvényeket megvalósító szoftverkapuból létrehozott esenényvezérelt vezérlési háló szoftvermodelljének tevezése és verifikációja