Titlebook: Model-Based Testing of Reactive Systems; Advanced Lectures Manfred Broy,Bengt Jonsson,Alexander Pretschner Textbook 2005 Springer-Verlag Be

Fuctionary

書目名稱Model-Based Testing of Reactive Systems影響因子(影響力)




書目名稱Model-Based Testing of Reactive Systems影響因子(影響力)學科排名




書目名稱Model-Based Testing of Reactive Systems網(wǎng)絡(luò)公開度




書目名稱Model-Based Testing of Reactive Systems網(wǎng)絡(luò)公開度學科排名




書目名稱Model-Based Testing of Reactive Systems被引頻次




書目名稱Model-Based Testing of Reactive Systems被引頻次學科排名




書目名稱Model-Based Testing of Reactive Systems年度引用




書目名稱Model-Based Testing of Reactive Systems年度引用學科排名




書目名稱Model-Based Testing of Reactive Systems讀者反饋




書目名稱Model-Based Testing of Reactive Systems讀者反饋學科排名

cortex

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

978-3-540-26278-7Springer-Verlag Berlin Heidelberg 2005

潛移默化

Model-Based Testing of Reactive Systems978-3-540-32037-1Series ISSN 0302-9743 Series E-ISSN 1611-3349

Polydipsia

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/m/image/635881.jpg

GRE

白楊魚

Manfred Broy,Bengt Jonsson,Alexander PretschnerIncludes supplementary material:

碎石

0302-9743 ad 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

Monocle