登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

Model-Based Testing of Reactive Systems
EISBN：9783540320371
PISBN：9783540262787
出版社：Springer Berlin Heidelberg
出版类型：Graduate/advanced undergraduate textbook
出版时间：2005
作者：Manfred Broy,Bengt Jonsson,Joost-Pieter Katoen,Martin Leucker,Alexander Pretschner
主题词：Software Engineering,Logics and Meanings of Programs,Programming Languages,Compilers,Interpreters
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Computer Science
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Practical Model-Based Testing
  • 作者：Mark Utting,Bruno Legeard
  • PISBN：9780123725011
  • 出版时间：2007
...

Model-Based Systems Engineering with OPM and SysML
  • 作者：Dov Dori
  • EISBN：9781493932955
  • 出版社：Springer New York
  • 出版时间：2016
...

Model-Based Testing Essentials - Guide to the ISTQ B® Certified Model - Based Tester Foundation Level
  • 作者：Kramer
  • PISBN：9781119130161
  • 出版社：John Wiley & Sons, Inc
  • 出版时间：2016
...

Model-Based Engineering for Complex Electronic Systems
  • 作者：Wilson,Peter
  • PISBN：9780123850850
  • 出版时间：2013
...

Robust Model-Based Fault Diagnosis for Dynamic Systems
  • 作者：Jie Chen,R.J. Patton
  • EISBN：9781461551492
  • 出版社：Springer US
  • 出版时间：1999
...

Model-based Health Monitoring of Hybrid Systems
  • 作者：Danwei Wang,Ming Yu,Chang Boon Low,Shai Arogeti
  • EISBN：9781461473695
  • 出版社：Springer New York
  • 出版时间：2013