|
Redundant ColorsOptimalColorSetCompute an optimal subset of the colors that should be removed. libFAUDES 2.28c --- 2016.09.30 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-pushdown-timed-simulator-iodevice-luabindings" |