16832 search results - page 217 / 3367 » Scenario Based Evaluation |
116
click to vote
CIKM
2001
Springer
15 years 11 months ago
2001
Springer
Ì ÜÔÐÓ× Ú ÖÓÛØ Ó Ø ÛÓÖÐ ¹Û ¹Û Ò Ø Ñ Ö¹ Ò Ó ¹ ÓÑÑ Ö × Ð ØÓ Ø Ú ÐÓÔÑ ÒØ Ó Ö Óѹ Ñ Ò Ö ×Ý×Ø Ñ× Ô Ö×ÓÒ Ð Þ Ò ÓÖÑ ...
176
click to vote
HASE
1999
IEEE
15 years 11 months ago
1999
IEEE
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...