666 search results - page 16 / 134 » Inspector Methods for State Abstraction |
SAC
2006
ACM
14 years 9 months ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
58
Voted
KES
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present an autoadaptive algorithm for in-use parameter estimation of MEMS inertial accelerometers and gyros1 using multilevel quasi-static states for greater accuracy ...
79
Voted
GI
2009
Springer
15 years 2 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
UML
2001
Springer
15 years 2 months ago
2001
Springer
We describe formal steps in the design of iState, a tool for translating statecharts into programming languages. Currently iState generates code in either Java, or the Abstract Mac...
DLT
2007
14 years 11 months ago
2007
Abstract. Inapproximability results concerning minimization of nondeterministic finite automata relative to given deterministic finite automata were obtained only recently, modul...