|
libFAUDES
Sections
Types
Functions
|
General Purpose FunctionsDue to colored marking of states, functions that refer to the marked languages of an MtcSystem require reimplementation. |
libFAUDES 2.18b --- 2010-12-17 --- plugins "example synthesis observer diagnosis hiosys iosystem multitasking timed simulator iodevice luabindings"