Publication Details for Talk "Real-Time Calculus - A Formal Method for the Analysis of Real-Time Systems"
Back
New Search
Authors:
Wolfgang Haid
Group:
Computer Engineering
Type:
Talk
Title:
Real-Time Calculus - A Formal Method for the Analysis of Real-Time Systems
Year:
2007
Month:
June
Pub-Key:
haid07b
Keywords:
MPA
Resources:
[
BibTeX
]
Back
New Search