Sciweavers

36320 search results - page 491 / 7264
» From Code to Models
Sort
View
BPM
2005
Springer
88views Business» more  BPM 2005»
16 years 14 days ago
Mining Hierarchies of Models: From Abstract Views to Concrete Specifications
Gianluigi Greco, Antonella Guzzo, Luigi Pontieri
CAV
2005
Springer
101views Hardware» more  CAV 2005»
16 years 14 days ago
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology
Carla Piazza, Marco Antoniotti, Venkatesh Mysore, ...