Sumbangan 15 September 2024 – 1 Oktober 2024 Tentang pengumpulan dana

Model-Based Testing for Embedded Systems

Main
Model-Based Testing for Embedded...

Model-Based Testing for Embedded Systems

Zander, Justyna

0 / 0

Sukakah Anda buku ini?

Bagaimana kualitas file yang diunduh?

Unduh buku untuk menilai kualitasnya

Bagaimana kualitas file yang diunduh?

Tahun:

2011

Penerbit:

CRC Press

Bahasa:

english

Halaman:

668

ISBN 10:

1280121718

ISBN 13:

9781280121715

File:

PDF, 9.66 MB

IPFS:

,

english, 2011

Membaca daring

Pengubahan menjadi sedang diproses

Pengubahan menjadi gagal

Mungkin Anda tertarik

James W. Grenning — Test Driven Development for Embedded C

Alfred Crouch — Design-For-Test For Digital IC's And Embedded Core Systems

Committee on Networked Systems of Embedded Computers, National Research Council, National Research Council — Embedded, Everywhere: A Research Agenda for Networked Systems of Embedded Computers

Bart Broekman, Edwin Notenboom — Testing Embedded Software

Ivar Jacobson, Pan-Wei Ng — Aspect-oriented software development with use cases

Mauri Kuorilehto, Mikko Kohvakka, Jukka Suhonen, Panu Hamalainen, Marko Hannikainen, Timo D. Hamalainen(auth.) — Ultra-Low Energy Wireless Sensor Networks in Practice: Theory, Realization and Deployment

Cal Henderson — Building Scalable Web Sites

Jose A. Gutierrez — Low-rate wireless personal area networks: enabling wireless sensors with IEEE 802.15.4

Doug Abbott — Linux for Embedded and Real-Time Applications

Tim Wescott — Applied Control Theory for Embedded Systems

Fred Eady — Implementing 802.11 with Microcontrollers: Wireless Networking for Embedded Systems Designers

Lewin Edwards Lewin Edwards is an embedded engineer with over 15 years experience designing embedded systems hardware firmware and control software — So You Wanna Be an Embedded Engineer: The Guide to Embedded Engineering, From Consultancy to the Corporate Ladder

Fabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet (editors) — Embedded Systems: Analysis and Modeling with SysML, UML and AADL

Anne Kramer, Bruno Legeard — Model-Based Testing Essentials - Guide to the ISTQB Certified Model-Based Tester: Foundation Level

Cem Unsalan, Duygun E. Barkana, H. Deniz Gurhan — Embedded Digital Control with Microcontrollers

Justyna Zander (Editor); Ina Schieferdecker (Editor); Pieter J. Mosterman (Editor) — Model-Based Testing for Embedded Systems

Gabriela Nicolescu, Pieter J. Mosterman — Model-based design for embedded systems

Kim H. Pries, Jon M. Quigley — Project Management of Complex and Embedded Systems: Ensuring Product Integrity and Program Quality

Kim H. Pries, Jon M. Quigley — Testing Complex and Embedded Systems

Jon Duncan Hagar — Software Test Attacks to Break Mobile and Embedded Devices

Bertolotti, Ivan Cibrario; Hu, Tingting — Embedded software development : the open-source approach

Paul C. Jorgensen — The craft of model-based testing

Chris Hobbs — Embedded software development for safety-critical systems

Qing Li, Caroline Yao — Real-Time Concepts for Embedded Systems

Lee Copeland — A Practitioner's Guide to Software Test Design

Abdelkhalak El Hami, Philippe Pougnet — Embedded Mechatronic Systems, Volume 2: Analysis of Failures, Modeling, Simulation and Optimization

Reiner Hähnle & Wil van der Aalst — Fundamental Approaches to Software Engineering

Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan (auth.), Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel (eds.) — Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Mark Utting, Bruno Legeard — Practical Model-Based Testing: A Tools Approach

Bernd Baumgarten (auth.), Tadanori Mizuno, Teruo Higashino, Norio Shiratori (eds.) — Protocol Test Systems: 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems

Christoph Grimm — Languages for System Specification

Reiner Hähnle, Wil van der Aalst — Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Peter Csaba Ölveczky, Gwen Salaün — Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Dirk Beyer, Chantal Keller — Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

Slimane Hammoudi, Luís Ferreira Pires, Bran Selić — Model-Driven Engineering and Software Development

Esther Guerra, Mariëlle Stoelinga — Fundamental Approaches to Software Engineering

Michael Codish, Yoav Fekete, Amit Metodi (auth.), Valeria Bertacco, Axel Legay (eds.) — Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Cavalli, Ana; Yenigun, Husnu; Yevtushenko, Nina — Testing software and systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert Hierons — Testing Software and Systems: 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

T. S. E. Maibaum (auth.), Ferhat Khendek, Rachida Dssouli (eds.) — Testing of Communicating Systems: 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June, 2005. Proceedings

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.) — Model-Based Testing of Reactive Systems: Advanced Lectures

Joachim Fischer, Andreas Kunert, Michael Piefel, Markus Scheidgen (auth.), Andreas Prinz, Rick Reed, Jeanne Reed (eds.) — SDL 2005: Model Driven: 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings

Istilah kunci

Daftar buku terkait