| |
libFAUDES
Sections
Types
Functions
|
Multitasking SynthesisSince the notion of blocking is refined by the colored marking, the synthesis problem is restated for MtcSystems. |
libFAUDES 2.14g --- 2009-12-3 --- plugins "example synthesis observer diagnosis hiosys multitasking timed simulator iodevice luabindings"