qThis book provides innovative behavior models currently used for developing embedded systems, accentuating on graphical and visual notationsq--Provided by publisher.Nevertheless, they could be easily adapted to other model checkers, such as Kronos (Yovine, 1997), if required. ... The clocks are assumed to proceed synchronously (i.e. at the same rate) and measure the time since they were last reset.
|Title||:||Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation|
|Publisher||:||IGI Global - 2009-07-31|