Sciweavers

2672 search results - page 28 / 535
» Hybridizing Concept Languages
Sort
View
VMCAI
2007
Springer
14 years 1 months ago
Language-Based Abstraction Refinement for Hybrid System Verification
Felix Klaedtke, Stefan Ratschan, Zhikun She
ICCBR
2001
Springer
14 years 5 hour ago
A Hybrid Approach for the Management of FAQ Documents in Latin Languages
Christiane Gresse von Wangenheim, Andre Bortolon, ...
FTEDA
2006
113views more  FTEDA 2006»
13 years 7 months ago
Languages and Tools for Hybrid Systems Design
The explosive growth of embedded electronics is bringing information and control systems of increasing complexity to every aspects of our lives. The most challenging designs are s...
Luca P. Carloni, Roberto Passerone, Alessandro Pin...