Esterel

synchronous programming language for the development of complex reactive systems

카테고리: