Sciweavers

16218 search results - page 107 / 3244
» Standards
Sort
View
140
Voted
ITC
1996
IEEE
432views Hardware» more  ITC 1996»
15 years 8 months ago
Standard Test Interface Language (STIL): A New Language for Patterns and Waveforms
Anthony Taylor, Gregory A. Maston
107
Voted
ICSE
1997
IEEE-ACM
15 years 8 months ago
Using Formal Methods to Reason about Architectural Standards
Kevin J. Sullivan, John Socha, Mark Marchukov