The problems of transition predicates construction in hierarchical concurrent controllers,
2012,
Grzegorz Łabiak ,
International Journal of Electronics and Telecommunications, Vol. 58, no 4, 411--418,
bibliogr.
rys.
summ.
Słowa kluczowe: Boolena predicates, binary control system, clique problem, compatibility classes, computational complexity, concurrency, conflicting transitions, hierarchy, statechart diagrams
Kod: CZR-WYKAZ
BibTeX
(pkt. 8)