Global Sources
EE Times-Asia
Stay in touch with EE Times Asia
?
EE Times-Asia > Embedded
?
?
Embedded??

An introduction to model checking

Posted: 16 Feb 2005 ?? ?Print Version ?Bookmark and Share

Keywords:model checking? uml? unified modeling language? embedded? finites state machine?

Learn the fundamentals of model checking and how it solves design issues in real-time and safety-critical systems.

View the PDF document for more information.



Article Comments - An introduction to model checking
Comments:??
*? You can enter [0] more charecters.
*Verify code:
?
?
Webinars

Seminars

Visit Asia Webinars to learn about the latest in technology and get practical design tips.

?
?
Back to Top