Home Advanced Search

Advanced Search - Page 1

Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology

PDF
English
Year: 2016
Author: Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger (eds.)

Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology

PDF
English
Year: 2012
Author: Klaus Beetz, Dr. Wolfgang Böhm (auth.), Klaus Pohl, Harald Hönninger, Reinhold Achatz, Manfred Broy (eds.)

Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology

PDF
English
Year: 2021
Author: Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck

Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology

PDF
English
Year: 2020
Author: Wolfgang Böhm (editor), Manfred Broy (editor), Cornel Klein (editor), Klaus Pohl (editor), Bernhard Rumpe (editor), Sebastian Schröck (editor)

KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report

DJVU
English
Year: 1995
Author: Manfred Broy, Martin Wirsing (auth.), Manfred Broy, Stefan Jähnichen (eds.)

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

PDF
English
Year: 1989
Author: Jayadev Misra (auth.), Manfred Broy (eds.)

Program Design Calculi

PDF
English
Year: 1993
Author: Carroll Morgan (auth.), Manfred Broy (eds.)

Formal Systems Specification: The RPC-Memory Specification Case Study

PDF
English
Year: 1996
Author: Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)

Formal Systems Specification: The RPC-Memory Specification Case Study

DJVU
English
Year: 1996
Author: Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)

Software Pioneers: Contributions to Software Engineering

PDF
English
Year: 2002
Author: Manfred Broy (auth.), Prof. Dr. Manfred Broy, Prof. Dr. Ernst Denert (eds.)