Language Engineering

Note
External Links
Multitude Corporation – Behavior Language for Embedded Systems with Software (BLESS) allows industry engineers to formally verify behavior of cyberphysical systems. (Multitude.net)
Related Categories ⇒