11 search results - page 3 / 3 » Generation of Business Process Models for Object Life Cycle ... |
ICST
2009
IEEE
14 years 12 hour ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...