Sciweavers

77016 search results - page 100 / 15404
» Modeling Modeling
Sort
View
158
Voted
FBT
2000
139views Formal Methods» more  FBT 2000»
15 years 8 months ago
Model Checking and Random Competition - A Study Using the Model Checking Framework MIC
Alexander K. Wißpeintner, Franz Huber, Jan P...
SPRINGSIM
2007
15 years 7 months ago
System modeling with mixed object and data models
Hessam S. Sarjoughian, Robert Flasher
ANOR
2008
49views more  ANOR 2008»
15 years 6 months ago
Periodic real-time scheduling: from deadline-based model to latency-based model
Liliana Cucu, Nicolas Pernet, Yves Sorel
« Prev « First page 100 / 15404 Last » Next »