Fuctionary
发表于 2025-3-21 19:23:04
书目名称Model-Based Testing of Reactive Systems影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0635881<br><br> <br><br>书目名称Model-Based Testing of Reactive Systems影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0635881<br><br> <br><br>书目名称Model-Based Testing of Reactive Systems网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0635881<br><br> <br><br>书目名称Model-Based Testing of Reactive Systems网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0635881<br><br> <br><br>书目名称Model-Based Testing of Reactive Systems被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0635881<br><br> <br><br>书目名称Model-Based Testing of Reactive Systems被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0635881<br><br> <br><br>书目名称Model-Based Testing of Reactive Systems年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0635881<br><br> <br><br>书目名称Model-Based Testing of Reactive Systems年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0635881<br><br> <br><br>书目名称Model-Based Testing of Reactive Systems读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0635881<br><br> <br><br>书目名称Model-Based Testing of Reactive Systems读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0635881<br><br> <br><br>
cortex
发表于 2025-3-21 23:47:36
Textbook 2005systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing..
flamboyant
发表于 2025-3-22 01:31:53
978-3-540-26278-7Springer-Verlag Berlin Heidelberg 2005
潜移默化
发表于 2025-3-22 04:44:49
Model-Based Testing of Reactive Systems978-3-540-32037-1Series ISSN 0302-9743 Series E-ISSN 1611-3349
Polydipsia
发表于 2025-3-22 09:10:24
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/m/image/635881.jpg
GRE
发表于 2025-3-22 13:33:39
http://reply.papertrans.cn/64/6359/635881/635881_6.png
白杨鱼
发表于 2025-3-22 17:29:45
Manfred Broy,Bengt Jonsson,Alexander PretschnerIncludes supplementary material:
碎石
发表于 2025-3-22 21:34:18
0302-9743ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems...This book is based on a s
musicologist
发表于 2025-3-23 01:38:57
http://reply.papertrans.cn/64/6359/635881/635881_9.png
Monocle
发表于 2025-3-23 06:16:29
http://reply.papertrans.cn/64/6359/635881/635881_10.png