450 search results - page 2 / 90 » Formal Methods for Industrial Products |
FMICS
2010
Springer
13 years 6 months ago
2010
Springer
ZUM
2005
Springer
13 years 11 months ago
2005
Springer
ZUM
1992
Springer
13 years 9 months ago
1992
Springer
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...
ICSE
1997
IEEE-ACM
13 years 9 months ago
1997
IEEE-ACM
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...