Sebastian Stuber | Bookhype

Aachener Informatik-Berichte, Software Engineering

Cover of Modeling Robotics Tasks for Better Separation of Concerns, Platform-Independence, and Reuse

Book #28: Modeling Robotics Tasks for Better Separation of Concerns, Platform-Independence, and Reuse

Cover of Towards a Sustainable Artifact Model

Book #30: Towards a Sustainable Artifact Model

Cover of Towards an Isabelle Theory for distributed, interactive systems

Book #45: Towards an Isabelle Theory for distributed, interactive systems

Cover of Model Analyses Based on Semantic Differencing and Automatic Model Repair

Book #46: Model Analyses Based on Semantic Differencing and Automatic Model Repair

Cover of MontiCore Language Workbench and Library Handbook

Book #48: MontiCore Language Workbench and Library Handbook