Sciweavers

31387 search results - page 233 / 6278
» Abstracting abstract machines
Sort
View
AIMDM
1999
Springer
15 years 11 months ago
Abstracting Steady Qualitative Descriptions over Time from Noisy, High-Frequency Data
Silvia Miksch, Andreas Seyfang, Werner Horn, Chris...
CAV
1999
Springer
108views Hardware» more  CAV 1999»
15 years 11 months ago
Abstract and Model Check While You Prove
Hassen Saïdi, Natarajan Shankar