manfred broy
Model-Based Testing of Reactive Systems
TaschenbuchSofort lieferbarTesting is the primary hardware and software verification technique used by industry today. Usual...
Projektorganisation und Management im Software Engineering
DigitalSofort lieferbarSoftware Engineering hat das ingenieurmäßige Entwickeln umfangreicher Softwaresysteme zum Ziel...
Cyber-Physical Systems
DigitalSofort lieferbarCyber-Physical Systems adressieren das Zusammenwachsen softwareintensiver eingebetteter Systeme m...
Engineering Theories of Software Intensive Systems
DigitalSofort lieferbarP Software engineering has over the years been applied in many different fields, ranging from te...
agendaCPS
TaschenbuchSofort lieferbarDer rasche Fortschritt der Informationstechnik ermöglicht, in Kombination mit der Mikrosystemtech...
agendaCPS
DigitalSofort lieferbarDer rasche Fortschritt der Informationstechnik ermöglicht, in Kombination mit der Mikrosystemt...
50 Jahre Universitäts-Informatik in München
DigitalSofort lieferbar50 Jahre Lehre in Informatik an den drei Münchner Universitäten (Ludwig-Maximilians-Universität, ...
Living in a networked world
DigitalSofort lieferbarThe rapid progress of information technology allows for increasingly powerful software intensive ...
Advanced Model-Based Engineering of Embedded Systems
DigitalSofort lieferbarThis book provides a comprehensive introduction into the SPES XT modeling framework. Moreover,...
Model-Based Engineering of Embedded Systems
DigitalSofort lieferbarEmbedded systems have long become essential in application areas in which human control is imp...
Advanced Model-Based Engineering of Embedded Systems
BuchPrint on DemandThis book provides a comprehensive introduction into the SPES XT modeling framework. Moreover, it...
Methods of Programming
TaschenbuchPrint on DemandThis volume is a collection of papers presenting work based on the ideas of the CIP project. The ...