VIAF

Virtual International Authority File

Search

Broy, Manfred, 1949-.... Sudoc [ABES], France ISNI National Library of the Netherlands National Library of France German National Library National Library of Latvia National Library of the Czech Republic NUKAT Center of Warsaw University Library

Broy, M., 1949- National Library of Israel National Library of Australia Library of Congress/NACO

Broy, Manfred BIBSYS RERO - Library Network of Western Switzerland

Manfred Broy Wikidata

VIAF ID: 91721734 (Personal)

Permalink: http://viaf.org/viaf/91721734

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (16)

Open Section Close Section 5xx's: Related Names (1)

Open Section Close SectionWorks

Title Sources
Abstract semantics of synchronous languages the example Esterel German National Library
ASWSD 2004 Sudoc [ABES], France Library of Congress/NACO
Automotive Software- Connected Services in Mobile Networks : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers BIBSYS National Library of France Sudoc [ABES], France German National Library Library of Congress/NACO NUKAT Center of Warsaw University Library
Calculational system design National Library of the Netherlands BIBSYS
Constructive methods in computing science National Library of France
Control flow and data flow: concepts of distributed programming internat. summer school ; [proceedings of the NATO Advanced Study Inst. on Control Flow and Data Flow: Concepts of Distributed Programming held at Marktoberdorf, Fed. Republic of Germany, July 31 - August 12, 1984] RERO - Library Network of Western Switzerland Sudoc [ABES], France German National Library
Cyber-physical systems Innovation durch softwareintensive eingebettete Systeme German National Library
Deductive program design RERO - Library Network of Western Switzerland BIBSYS Sudoc [ABES], France Library of Congress/NACO National Library of the Netherlands National Library of France German National Library
Engineering methods and tools for software safety and security Library of Congress/NACO
Engineering theories of software intensive systems National Library of the Netherlands BIBSYS NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
example for the design of distributed systems in a formal setting the lift problem German National Library
Extensional behaviour of concurrent, nondeterministic communicating systems German National Library
Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 : proceedings BIBSYS Sudoc [ABES], France Library of Congress/NACO National Library of the Netherlands National Library of France German National Library NUKAT Center of Warsaw University Library
Formal systems specification : the RPC-memory specification case study RERO - Library Network of Western Switzerland BIBSYS Sudoc [ABES], France Library of Congress/NACO National Library of the Netherlands German National Library NUKAT Center of Warsaw University Library
Functional modelling of operating [system] structures by timed higher order stream processing functions German National Library
graphical description technique for communication in software architectures German National Library
Informatik : eine grundlegende Einführung National Library of the Netherlands National Library of Latvia RERO - Library Network of Western Switzerland German National Library
Informatik und Mathematik NUKAT Center of Warsaw University Library German National Library Library of Congress/NACO
Informatikforschung in Deutschland German National Library Library of Congress/NACO
KORSO National Library of the Netherlands
KORSO: methods, languages, and tools for the construction of correct software : final report National Library of the Netherlands BIBSYS Sudoc [ABES], France German National Library Library of Congress/NACO RERO - Library Network of Western Switzerland NUKAT Center of Warsaw University Library
Künstliche Intelligenz RERO - Library Network of Western Switzerland NUKAT Center of Warsaw University Library German National Library Library of Congress/NACO
Living in a networked world : integrated research agenda, cyber-physical systems (agendaCPS) Library of Congress/NACO
Logic of programming and calculi of discrete design : Intern. Summer School directed by F.L.Bauer a.o. National Library of Latvia
Mathematical methods in program development BIBSYS National Library of France German National Library Library of Congress/NACO
Methodik des Programmierens eine Festschrift zu Ehren von F. L. Bauer German National Library
Methods of programming : selected papers on the CIP-project RERO - Library Network of Western Switzerland BIBSYS Sudoc [ABES], France Library of Congress/NACO National Library of the Netherlands German National Library NUKAT Center of Warsaw University Library
Model-based engineering of embedded systems : the SPES 2020 methodology Library of Congress/NACO
Model-based testing of reactive systems : advanced lectures RERO - Library Network of Western Switzerland BIBSYS Sudoc [ABES], France Library of Congress/NACO National Library of the Netherlands German National Library
Modellbildung in der Informatik mit CD-ROM RERO - Library Network of Western Switzerland German National Library
Models, algebras, and logic of engineering software NUKAT Center of Warsaw University Library Library of Congress/NACO
The Munich Project CIP Sudoc [ABES], France
On denotational versus predicative semantics German National Library
On the duality of resumptions and stream processing functions German National Library
Perspectives of system informatics : 5th International Andrei Ershov memorial conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 : revised papers BIBSYS Sudoc [ABES], France Library of Congress/NACO National Library of the Netherlands German National Library NUKAT Center of Warsaw University Library
Pragmatic and formal specification of system properties by tables German National Library
Program construction : international summer school RERO - Library Network of Western Switzerland BIBSYS Sudoc [ABES], France Library of Congress/NACO National Library of the Netherlands German National Library National Library of Latvia National Library of Israel NUKAT Center of Warsaw University Library
Programming concepts and methods : proceedings of the IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990 BIBSYS Library of Congress/NACO
Projektorganisation und Management im Software Engineering German National Library
PSI 2003 National Library of the Netherlands Library of Congress/NACO
requirement and design specification language Spectrum an informal introduction; version 0.3 German National Library
Requirements Engineering für änderungsintensive, marktgetriebene Softwareentwicklungsprojekte von kleinen und mittleren Unternehmen German National Library
Requirements targeting software and systems engineering : international workshop RTSE '97, Bernried, Germany, October 12-14, 1997 : proceedings National Library of the Netherlands BIBSYS Sudoc [ABES], France German National Library RERO - Library Network of Western Switzerland Library of Congress/NACO
RTSE '97 National Library of the Netherlands
Software pioneers : contributions to software engineering RERO - Library Network of Western Switzerland Sudoc [ABES], France Library of Congress/NACO National Library of the Netherlands National Library of France German National Library NUKAT Center of Warsaw University Library
Some algebraic and functional hocus pocus with abracadabra German National Library
Specification and development of interactive systems focus on streams, interfaces, and refinement BIBSYS Sudoc [ABES], France German National Library
Specification and refinement of finite dataflow networks a relational approach German National Library
Specification and top down design of distributed systems BIBSYS German National Library
specification of system components by state transition diagrams German National Library
strombasiertes mathematisches Modell verteilter informationsverarbeitender Systeme - SysLab-Systemmodell German National Library
Synthèse basée sur les modèles d’architectures automobiles temps réel distribuées. Sudoc [ABES], France
Theoretical foundations of programming methodology, c1982: National Library of Israel Library of Congress/NACO
Towards advanced programming environments based on algebraic concepts German National Library
Übungen zur Einführung in die Informatik : Strukturierte Aufgabensammlung mit Musterlösungen National Library of the Netherlands RERO - Library Network of Western Switzerland German National Library
Ultra loose algebraic specification German National Library
VDI-Lexikon Informating und Kommunikationstechnik National Library of Latvia
Vvedenie v informatiku sbornik zadač ; strukturirovannoe sobranie upražnennij s obrazcami rešenij German National Library
Weakening the weak conditions for self-timed circuits German National Library

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (4)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section History of VIAF ID:91721734 (19)