Zur Hauptnavigation wechseln
Zur Suche wechseln
Zum Hauptinhalt wechseln
Technische Universität Graz Home
English
Deutsch
Home
Personen
Veröffentlichungen
Organisationen
Projekte
Aktivitäten
Preise
Presseberichte
Nach Expertise, Namen oder Zugehörigkeit suchen
FWF - RiSE - Rigorous Systems Engineering
Könighofer, Robert
(Teilnehmer (Co-Investigator))
Khalimov, Ayrat
(Teilnehmer (Co-Investigator))
Bloem, Roderick
(Projektleiter (Principal Investigator))
Könighofer, Bettina
(Teilnehmer (Co-Investigator))
Jacobs, Swen
(Teilnehmer (Co-Investigator))
Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)
Projekt
:
Forschungsprojekt
Übersicht
Fingerprint
Veröffentlichungen
(25)
Fingerprint
Erkunden Sie die Forschungsthemen, die von diesem Projekt angesprochen werden. Diese Bezeichnungen werden den ihnen zugrunde liegenden Bewilligungen/Fördermitteln entsprechend generiert. Zusammen bilden sie einen einzigartigen Fingerprint.
sortieren
Gewicht:
Alphabetisch
Computer Science
Model Checking
100%
Reactive System
80%
Hardware Design
60%
Experimental Result
60%
Boolean Function
40%
Common Practice
40%
Local Variable
40%
Level Cooperation
40%
Case Complexity
40%
binary decision diagram
40%
Common Support
40%
Perfect Information
40%
Concurrent System
40%
Efficient Implementation
40%
Race Condition
40%
Requirements Analysis
40%
Concurrent Program
40%
Synthesis Algorithm
40%
Including Linux
40%
Concurrency
40%
Linux
40%
Software Model
40%
Synthesis Tool
40%
Input/Output
20%
Case Time Complexity
13%
Linear Speedup
13%
Decision Procedure
13%
Automatic Synthesis
13%
System Specification
13%
Hardware Component
13%
Environment Condition
13%
Logic Synthesis
13%
Modern Approach
13%
Infinite Number
13%
software as a service
8%
Computational Logic
8%
Engineering
Common Practice
40%
Synthesis Algorithm
40%
State System
40%
Hardware Component
40%
Reachability
40%
Finite Number
40%
Reactive System
20%