1652 search results - page 11 / 331 » Integration in Real PCF |
SOSE
2008
IEEE
14 years 2 months ago
2008
IEEE
ISORC
2007
IEEE
14 years 2 months ago
2007
IEEE
ADAEUROPE
2007
Springer
14 years 2 months ago
2007
Springer
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
ERSHOV
2003
Springer
14 years 1 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...