157 search results - page 32 / 32 » Formal Modeling and Analysis of Hybrid Systems: A Case Study... |
SIAMAM
2000
13 years 5 months ago
2000
Effects of small perturbations from a liquid-gas coexistence equilibrium (the Maxwell states) is studied for an isothermal (or isentropic) gas-liquid phase transition in a sealed o...
ICSE
2010
IEEE-ACM
13 years 7 months ago
2010
IEEE-ACM
The feature list of modern IDEs is steadily growing and mastering these tools becomes more and more demanding, especially for novice programmers. Despite their remarkable capabili...