Sciweavers

15777 search results - page 480 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
ADAEUROPE
2009
Springer
15 years 11 months ago
Formal Verification of AADL Specifications in the Topcased Environment
Bernard Berthomieu, Jean-Paul Bodeveix, Christelle...
EMSOFT
2009
Springer
15 years 11 months ago
Modal interfaces: unifying interface automata and modal specifications
Jean-Baptiste Raclet, Eric Badouel, Albert Benveni...
EMSOFT
2009
Springer
15 years 11 months ago
Disk schedulers for solid state drivers
Jaeho Kim, Yongseok Oh, Eunsam Kim, Jongmoo Choi, ...
ICFEM
2009
Springer
15 years 11 months ago
Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction
Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Z...