Skip to main navigation
Skip to search
Skip to main content
University of Luebeck Home
English
Deutsch
Home
Research Units
Experts
Publications
Projects
Datasets
Prizes
Spin-Offs
Activities
Media
Search by expertise, name or affiliation
Formal methods for broadband and multimedia systems
Stefan Fischer
*
*
Corresponding author for this work
Institute of Telematics
8
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Formal methods for broadband and multimedia systems'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Automated Transformation
33%
Execution Model
33%
Extension Language
33%
Formal Specification
33%
Hard Real-Time System
33%
Multimedia
33%
Quality of Service
100%
Service Requirement
66%
System Requirement
33%
Temporal Logic
33%