480 search results - page 3 / 96 » On the verification of automotive protocols |
JAR
2000
13 years 5 months ago
2000
We present a formal specification and verification approach for industrial product data bases containing Boolean logic formulae to express constraints. Within this framework, globa...
ICFEM
2009
Springer
13 years 3 months ago
2009
Springer
Abstract. K
CHARME
1997
Springer
13 years 9 months ago
1997
Springer
Formal verification techniques need to deal with the complexity of the systems rified. Most often, this problem is solved by taking an abstract model of the system and aiming at a...
CODES
2005
IEEE
13 years 11 months ago
2005
IEEE
This paper describes the design of a low-cost, low-power smart imaging core that can be embedded in cameras. The core integrates an ARM 9 processor, a camera interface and two spe...
DATE
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper addresses an XML-based design environment, which provides a powerful basis for the manipulation of hardware design descriptions. The contribution of the paper is a flex...