Sciweavers

14360 search results - page 161 / 2872
» Time Modeling in MARTE
Sort
View
FUIN
2006
80views more  FUIN 2006»
13 years 10 months ago
Update and Abstraction in Model Checking of Knowledge and Branching Time
Nikolay V. Shilov, Natalya Olegovna Garanina, K.-M...
IJBC
2006
39views more  IJBC 2006»
13 years 10 months ago
Modeling Nonlinear Time Series Using Improved Least Squares Method
Tomomichi Nakamura, Michael Small