Sciweavers

2 search results - page 1 / 1
» charme 1993
Sort
View
CHARME
1993
Springer
68views Hardware» more  CHARME 1993»
13 years 7 months ago
Temporal Analysis of Time Bounded Digital Systems
To perform veri cation of digital systems with time bounded delays, it is essential to characterize the space of all possible system behaviors. In this paper, we describe our analy...
Alan R. Martello, Steven P. Levitan