Hong Kong subway / University of Nice / Columbia University / German National Research Center / TiGeR BDD library / /
IndustryTerm
flight control software / methods and tools / similar technology / safety-critical embedded systems / synchronous product / signal processing applications / dataflow networks / software reuse / safety-critical software / suitable existing tools / consistent solutions / implicit dynamical systems / qualified software production / reactive synchronous systems / wireless communication systems / gap between simulation behavior and hardware / dynamical systems / functional solution / digital signal processors / dataflow network / logic networks / regular networks / real-time embedded applications / software / research / preliminary solutions / telecommunications / control systems / anticollision equipment / embedded control systems / functional systems / computing / partial solutions / flight control systems / sound tools / real-time systems / verification tool / /
OperatingSystem
Fork / /
Organization
University of Nice / Columbia University / New York / German National Research Center for Computer Science / Wireless Terminals Business Center / US Federal Reserve / /