Esterel

synchronous programming language for the development of complex reactive systems

カテゴリ：