Essays about: "Esterel"
Found 1 essay containing the word Esterel.
-
1. A tool for automatic formal analysis of fault tolerance
University essay from Institutionen för datavetenskapAbstract : The use of computer-based systems is rapidly increasing and such systems can now be found in a wide range of applications, including safety-critical applications such as cars and aircrafts. To make the development of such systems more efficient, there is a need for tools for automatic safety analysis, such as analysis of fault tolerance. READ MORE
Result pages:
1