Sciweavers

21437 search results - page 12 / 4288
» Hardware
Sort
View
CHARME
2005
Springer
128views Hardware» more  CHARME 2005»
15 years 8 months ago
Real-Time Model Checking Is Really Simple
Leslie Lamport
PACS
2004
Springer
128views Hardware» more  PACS 2004»
15 years 7 months ago
Erratum
79
Voted
DATE
2003
IEEE
77views Hardware» more  DATE 2003»
15 years 7 months ago
Formal Semantics of Synchronous SystemC
Ashraf Salem