Formal Techniques for Networked and Distributed Systems – FORTE 2008
Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih
Häftad, 2008
729 kr
Del 9447 i serien Lecture Notes in Computer Science
Testing Software and Systems
27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings
Häftad, Engelska, 2015
729 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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. The 14 revised full papers and 4 short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on model based testing, test derivation methods, monitoring and fault localization, model and system testing, and real-time systems.
Produktinformation
- Utgivningsdatum2015-11-10
- Mått155 x 235 x 16 mm
- Vikt435 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor269
- FörlagSpringer International Publishing AG
- ISBN9783319259444
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Unknown Component Problem
Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli
Inbunden, 2011
2 109 kr
Distributed Multimedia Retrieval Strategies for Large Scale Networked Systems
Bharadwaj Veeravalli, Gerassimos Barlas
Häftad, 2010
1 449 kr
Del 3
Distributed Multimedia Retrieval Strategies for Large Scale Networked Systems
Bharadwaj Veeravalli, Gerassimos Barlas
Inbunden, 2005
1 449 kr
Unknown Component Problem
Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli
Häftad, 2014
2 109 kr
Del 10533
- Nyhet