1823 search results - page 2 / 365 » Formal specification: a roadmap |
119
Voted
ITC
1996
IEEE
15 years 8 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...
147
click to vote
ICSE
2000
IEEE-ACM
15 years 7 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 ...
111
Voted
ZUM
1997
Springer
15 years 8 months ago
1997
Springer
137
Voted
FMICS
2010
Springer
15 years 5 months ago
2010
Springer
