Výsledky vyhledávání

Obálka

Security and quality in cyber-physical systems engineering

Vydáno: 2019

Kniha

Obálka

The art of designing embedded systems

Autor Ganssle, Jack G., 1953- Vydáno: 2008

Kniha

Obálka

Software engineering for embedded systems : methods, practical techniques, and applications

Vydáno: 2013

Kniha

Obálka

Software engineering for embedded systems : methods, practical techniques, and applications

Vydáno: 2019

Kniha

Obálka

Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures

Vydáno: 2007

Kniha

Obálka

Embedded systems design : the ARTIST roadmap for research and development

Autor Bouyssounouse, Bruno Vydáno: 2005

Plný text

E-kniha

Obálka

Algorithms and architectures for parallel processing : 14th international conference, ICA3PP 2014, Dalian, China, August 24-27, 2014 : proceedings.

Vydáno: 2014

Plný text

E-kniha

Obálka

Architectures for adaptive software systems : 5th International conference on the quality of software architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 : procee...

Vydáno: 2009

Plný text

E-kniha

Obálka

NASA formal methods : 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015 : proceedings

Vydáno: 2015

Plný text

E-kniha

Obálka

Composition of embedded systems : scientific and industrial issues : 13th Monterey workshop 2006, Paris, France, October 16-18, 2006 : revised selected papers

Vydáno: 2008

Plný text

E-kniha

Obálka

Patterns in the machine : a software engineering guide to embedded development

Autor Taylor, John T. Vydáno: 2021

Plný text

E-kniha

Obálka

Hybrid systems: computation and control : 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006 : proceedings

Vydáno: 2006

Plný text

E-kniha

Obálka

Transactions on pattern languages of programming I

Vydáno: 2009

Plný text

E-kniha

Obálka

Models in software engineering : workshops and symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008 : reports and revised selected papers

Vydáno: 2009

Plný text

E-kniha

Obálka

UML modeling languages and applications : «UML» 2004 satellite activities, Lisbon, Portugal, October 11-15, 2004 : revised selected papers

Vydáno: 2005

Plný text

E-kniha

Obálka

Dependability metrics : advanced lectures

Vydáno: 2008

Plný text

E-kniha

Obálka

Transactions on computational science I

Vydáno: 2008

Plný text

E-kniha

Obálka

Formal methods for industrial critical systems : 17th international workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings

Vydáno: 2012

Plný text

E-kniha

Obálka

Software engineering for resilient systems : 6th international workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014 : proceedings

Vydáno: 2014

Plný text

E-kniha

Obálka

Transactions on aspect-oriented software development VIII

Vydáno: 2011

Plný text

E-kniha