This tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability ...
WeiterlesenThis book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, ...
WeiterlesenWelcome to the post proceedings of the First International Conference on Embedded Software and Systems (ICESS 2004), which ...
WeiterlesenEmbedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, ...
WeiterlesenIts goal was to discuss the state of the art of empirical software engineering (ESE) by assessing past accomplishments, raising ...
WeiterlesenIts goal was to discuss the state of the art of empirical software engineering (ESE) by assessing past accomplishments, raising ...
WeiterlesenThis book provides an overview of the ERIGrid validation methodology for validating CPES, a holistic power system testing ...
WeiterlesenHow long can humans live? This open access book documents, verifies and brings to life the advance of the frontier of human ...
WeiterlesenExpert Spring MVC and Web Flow provides in-depth coverage of Spring MVC and Spring Web Flow, two highly customizable and ...
WeiterlesenFatigue is quite a familiar sensation, one that everyone is likely to have experienced. Its molecular and neural mechanisms ...
WeiterlesenThis book presents 19 revised invited keynote lectures and revised tutorial lectures given by top-researchers at the 4th ...
WeiterlesenFormal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This ...
WeiterlesenThis book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed ...
WeiterlesenThis book presents a top-down validation methodology that complements the existing bottom-up approaches. It leverages the ...
WeiterlesenThis book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
WeiterlesenThe papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
WeiterlesenFundamentals of Pattern Recognition and Machine Learning is designed for a one or two-semester introductory course in Pattern ...
WeiterlesenThis book constitutes the refereed proceedings of the 9th European Conference on Genetic Programming, EuroGP 2006, held in ...
WeiterlesenThis book deals with the relevance of recognition and validation of non-formal and informal learning in education and training, ...
WeiterlesenGlobal modelling and validation is required to master the design of systems made of heterogeneous components. These systems ...
Weiterlesen