Sciweavers

14071 search results - page 72 / 2815
» Fundamentals of simulation modeling
Sort
View
137
Voted
SPRINGSIM
2010
15 years 5 months ago
Designing an interface for real-time and embedded DEVS
Mohammad Moallemi, Gabriel A. Wainer
158
Voted
QEST
2010
IEEE
15 years 4 months ago
p-Automata: New Foundations for Discrete-Time Probabilistic Verification
Michael Huth, Nir Piterman, Daniel Wagner