Esterel

synchronous programming language for the development of complex reactive systems

श्रेणियाँ: