Sciweavers

5154 search results - page 37 / 1031
» Modelling online education
Sort
View
93
Voted
CORR
2009
Springer
117views Education» more  CORR 2009»
15 years 1 months ago
Automated Predicate Abstraction for Real-Time Models
Bahareh Badban, Stefan Leue, Jan-Georg Smaus
90
Voted
CORR
2009
Springer
99views Education» more  CORR 2009»
15 years 1 months ago
A compartmental model of the cAMP/PKA/MAPK pathway in Bio-PEPA
Federica Ciocchetta, Adam Duguid, Maria Luisa Guer...
84
Voted
CORR
2009
Springer
85views Education» more  CORR 2009»
15 years 1 months ago
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking
Jiri Barnat, Lubos Brim, Milan Ceska
65
Voted
CORR
2010
Springer
48views Education» more  CORR 2010»
15 years 12 days ago
E-Net Models of a Software System for E-Mail Security
Nikolai Todorov Stoianov, Veselin Tsenov Tselkov