Skip to main navigation
Skip to search
Skip to main content
Illinois Experts Home
LOGIN & Help
Home
Profiles
Research units
Research & Scholarship
Datasets
Honors
Press/Media
Activities
Search by expertise, name or affiliation
Abstraction and Completeness for Real-Time Maude
Peter Csaba Ölveczky,
José Meseguer
Information Trust Institute
Siebel School of Computing and Data Science
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Abstraction and Completeness for Real-Time Maude'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Real-time Systems
100%
Real-Time Maude
100%
Sampling Strategy
25%
Large Classes
25%
State Space
25%
Object-oriented
25%
Discrete-time
25%
Time Sampling
25%
Network Algorithms
25%
Temporal Logic
25%
Wireless Sensor Networks
25%
Automata
25%
Multicast Routing Protocol
25%
Active Networks
25%
Advanced Wireless
25%
Zeno
25%
Network multicast
25%
Logic Model Checking
25%
Decision Procedure
25%
Bounded Search
25%
Dense Time
25%
Computer Science
Real Time Systems
100%
Model Checking
75%
Network Algorithm
25%
State Space
25%
Temporal Logic
25%
Wireless Sensor Network
25%
discrete-time
25%
Automaton
25%
Multicast Protocol
25%
Active Network
25%
Decision Procedure
25%