Testing of Communicating Systems, Myungchul Kim; Sungwon Kang; Keesoo Hong

Автор: Wotawa
Название: Testing Software and Systems
ISBN: 3319474421 ISBN-13(EAN): 9783319474427
Издательство: Springer
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 278th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2016, held in Graz, Austria, in October 2016. The 12 revised full papers and 6 short papers presented were carefully reviewed and selected from 41 submissions.

Автор: Kenji Suzuki; Teruo Higashino; Andreas Ulrich; Tor
Название: Testing of Software and Communicating Systems
ISBN: 3540685146 ISBN-13(EAN): 9783540685142
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th International Workshop on Formal Approaches to Testing of Software, FATES 2008, jointly held in Tokyo, Japan, in June 2008.

Автор: Bernd Baumgarten; Heinz-J?rgen Burkhardt; Alfred G
Название: Testing of Communicating Systems
ISBN: 1475766971 ISBN-13(EAN): 9781475766974
Издательство: Springer
Рейтинг:
Цена: 186330.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Nina Yevtushenko; Ana Rosa Cavalli; H?sn? Yenig?n
Название: Testing Software and Systems
ISBN: 3319675486 ISBN-13(EAN): 9783319675480
Издательство: Springer
Рейтинг:
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017. The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions.

Автор: Mercedes G. Merayo; Edgardo Montes de Oca
Название: Testing Software and Systems
ISBN: 3662448564 ISBN-13(EAN): 9783662448564
Издательство: Springer
Рейтинг:
Цена: 48450.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2014, held in Istanbul, Turkey, in September 2014. The 11 revised full papers presented together with 6 short papers were carefully selected from 36 submissions.

Автор: Khaled El-Fakih; Gerassimos Barlas; Nina Yevtushen
Название: Testing Software and Systems
ISBN: 331925944X ISBN-13(EAN): 9783319259444
Издательство: Springer
Рейтинг:
Цена: 57770.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015.

Автор: Brian Nielsen; Carsten Weise
Название: Testing Software and Systems
ISBN: 3642346901 ISBN-13(EAN): 9783642346903
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers are organized in topical sections on testing in practice, test frameworks for distributed systems, testing of embedded systems, test optimization, and new testing methods.

Автор: H?sn? Yenig?n; Cemal Yilmaz; Andreas Ulrich
Название: Testing Software and Systems
ISBN: 364241706X ISBN-13(EAN): 9783642417061
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2013, held in Istanbul, Turkey, in November 2013.

Автор: Q.H. Wu; Zhen Lu; Tianyao Ji
Название: Protective Relaying of Power Systems Using Mathematical Morphology
ISBN: 1849968462 ISBN-13(EAN): 9781849968461
Издательство: Springer
Рейтинг:
Цена: 130590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book discusses the development of novel protective relaying algorithms using Mathematical Morphology, a nonlinear signal processing technique derived from set theory and geometry.

Автор: Rupak Majumdar; Paulo Tabuada
Название: Hybrid Systems: Computation and Control
ISBN: 3642006019 ISBN-13(EAN): 9783642006012
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Focuses on research in embedded reactive systems involving the interplay between symbolic/discrete and continuous dynamical behaviors. This book features developments of applications and theoretical advancements in the analysis, design, control, optimization, and implementation of hybrid systems.

Автор: Koen Bertels; Nikitas Dimopoulos; Cristina Silvano
Название: Embedded Computer Systems: Architectures, Modeling, and Simulation
ISBN: 3642031374 ISBN-13(EAN): 9783642031373
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 9th International Workshop SAMOS 2009 Samos Greece July 2023 2009 Proceedings. .

Автор: Yishai Feldman; Donald Kraft; Tsvi Kuflik
Название: Next Generation Information Technologies and Systems
ISBN: 3642049400 ISBN-13(EAN): 9783642049408
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.