7 search results - page 2 / 2 » ELDATool: A Statecharts-based Tool for Prototyping Multi-Age... |
RSP
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
MMAS
2004
Springer
13 years 10 months ago
2004
Springer
Demand Bus System, a new public transportation system, is expected to be a convenient service for special transportation demands to solve more and more serious traffic problems con...