Sciweavers

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