Sciweavers

12981 search results - page 273 / 2597
» Model Checking and Abstraction
Sort
View
CP
2005
Springer
16 years 24 days ago
Methods to Learn Abstract Scheduling Models
Tom Carchrae, J. Christopher Beck, Eugene C. Freud...
ICFEM
2005
Springer
16 years 24 days ago
An Abstract Model for Process Mediation
Michael Altenhofen, Egon Börger, Jens Lemcke
SARA
2005
Springer
16 years 23 days ago
Learning Abstract Scheduling Models
Tom Carchrae, J. Christopher Beck