Sciweavers

19587 search results - page 11 / 3918
» Systems Engineering for software Engineers
Sort
View
83
Voted
VMCAI
2007
Springer
15 years 5 months ago
Language-Based Abstraction Refinement for Hybrid System Verification
Felix Klaedtke, Stefan Ratschan, Zhikun She