Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Model-Based Testing of Reactive Systems : Advanced Lectures

Model-Based Testing of Reactive Systems : Advanced Lectures

by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner Paperback 2005

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
  • ISBN 13: 9783540262787
  • ISBN 10: 3540262784
  • Publication Year: 2005
  • Language: English

Specifications

Index-10 3540262784
Index-13 9783540262787
Language English

✨ Readers also enjoyed...

View All →
Advanced Model-Based Engineering of Embedded Systems : Extensions of the SPES 2020 Methodology

Advanced Model-Based Engineering o…

Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger

Inquire
Automotive Software - Connected Services in Mobile Networks : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004

Automotive Software - Connected Se…

Manfred Broy, Ingolf Krüger, Michael Meisinger

Inquire
Deductive Program Design

Deductive Program Design

Manfred Broy

Inquire
Informatik und Mathematik

Informatik und Mathematik

Manfred Broy

Inquire
KORSO: Methods, Languages, and Tools for the Construction of Correct Software : Final Report

KORSO: Methods, Languages, and Too…

Manfred Broy, S. Jahnichen

Inquire