Sciweavers

679 search results - page 8 / 136
» hybrid 2010
Sort
View
JIPS
2010
156views more  JIPS 2010»
13 years 4 months ago
A Hybrid Approach for Regression Testing in Interprocedural Program
Yogesh Singh, Arvinder Kaur, Bharti Suri
ENTCS
2007
117views more  ENTCS 2007»
13 years 9 months ago
Relating Hybrid Chi to Other Formalisms
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
D. A. van Beek, J. E. Rooda, Ramon R. H. Schiffele...