Essays about: "Mikael Hagman"
Found 1 essay containing the words Mikael Hagman.
-
1. Instrumentation of timed automata for formal verification of timed properties
University essay from Institutionen för datavetenskapAbstract : Embedded systems are used in many technical products of today. The tendency also points to the fact that they are in many ways becoming more and more complex as technology advances. Systems like advanced avionics, air bags, ABS brakes or any real-time embedded system requires reliability, correctness and timeliness. READ MORE
Result pages:
1