Sciweavers

77016 search results - page 142 / 15404
» Modeling
Sort
View
SPRINGSIM
2010
15 years 1 months ago
Schedule-calibrated occupant behavior simulation
Rhys Goldstein, Alex Tessier, Azam Khan
111
Voted
QEST
2010
IEEE
15 years 1 months ago
p-Automata: New Foundations for Discrete-Time Probabilistic Verification
Michael Huth, Nir Piterman, Daniel Wagner
« Prev « First page 142 / 15404 Last » Next »