Skip to main navigation
Skip to search
Skip to main content
Technical University of Munich Home
Help & FAQ
English
Deutsch
Home
Profiles
Research units
Projects
Research output
Prizes
Activities
Press/Media
Search by expertise, name or affiliation
Some algebraic and functional hocus pocus with Abracadabra
M. Broy
Informatics 4 - Chair of Software and Systems Engineering (2008 — 2022)
Research output
:
Contribution to journal
›
Article
›
peer-review
2
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Some algebraic and functional hocus pocus with Abracadabra'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Algebraic Specification
100%
Point-of-care Ultrasound (POCUS)
100%
Functional Specification
50%
Stream Processing
50%
Formal Modeling
50%
Processing Function
50%
Computer Science
Algebraic Specifications
100%
Stream Processing
50%
formal modeling
50%
Informal Description
50%
Engineering
Stream Processing
100%