1823 search results - page 2 / 365 » Formal specification: a roadmap |
ITC
1996
IEEE
13 years 11 months ago
1996
IEEE
This paper proposes a Layered Model for boundaryscan testing to help identify opportunities for standardization. Serial Vector Format [1] and an accompanying Application Programmi...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Software's increasing role creates both requirements for being able to trust it more than before, and for more people to know how much they can trust their software. A sound ...
FMCAD
2009
Springer
14 years 2 months ago
2009
Springer
ZUM
1997
Springer
13 years 11 months ago
1997
Springer
FMICS
2010
Springer
13 years 8 months ago
2010
Springer
