Sciweavers

3191 search results - page 40 / 639
» Qualitative Modeling in Education
Sort
View
CORR
2009
Springer
84views Education» more  CORR 2009»
13 years 5 months ago
A User Model for Information Erasure
Filippo Del Tedesco, David Sands
CORR
2009
Springer
55views Education» more  CORR 2009»
13 years 5 months ago
Security Theorems via Model Theory
Joshua D. Guttman
CORR
2009
Springer
63views Education» more  CORR 2009»
13 years 5 months ago
An Intuitive Automated Modelling Interface for Systems Biology
Ozan Kahramanogullari, Luca Cardelli, Emmanuelle C...
CORR
2009
Springer
117views Education» more  CORR 2009»
13 years 5 months ago
Automated Predicate Abstraction for Real-Time Models
Bahareh Badban, Stefan Leue, Jan-Georg Smaus