Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation
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 |
| Author | : | Gomes, Luís |
| Publisher | : | IGI Global - 2009-07-31 |
You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.
Once you have finished the sign-up process, you will be redirected to your download Book page.
How it works:- 1. Register a free 1 month Trial Account.
- 2. Download as many books as you like (Personal use)
- 3. Cancel the membership at any time if not satisfied.
