Refine your search

Your search returned 3 results. Subscribe to this search

|
1. Model-Based Testing of Reactive Systems [Recurso electrónico] / Advanced Lectures edited by Manfred BroyBengt Jonsson, Joost-Pieter Katoen, Martin Leucker et al. by Broy, Manfred. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

Log in to add tags. Add to cart
2. Automotive Software- Connected Services in Mobile Networks [Recurso electrónico] / First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers edited by Manfred Broy, Ingolf KrÃơger, Michael by Broy, Manfred. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

3. Model-Based Engineering of Embedded Systems [Recurso electrónico] : The SPES 2020 Methodology / edited by Klaus Pohl, Harald H©Å{uEBA9}nger, Reinhold Achatz, Manfred Broy. by Pohl, Klaus. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

Powered by Koha