4 search results - page 1 / 1 » Verus: A Tool for Quantitative Analysis of Finite-State Real... |
LCTRTS
1995
Springer
13 years 11 months ago
1995
Springer
FTCS
1998
13 years 9 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
UML
2005
Springer
14 years 1 months ago
2005
Springer
: This paper presents an overview of the workshop MARTES on Modeling and Analysis of Real-time and Embedded Systems that has taken place for the first time in association with the ...
ICDE
1994
IEEE
13 years 11 months ago
1994
IEEE
During the past few years, several studies have been made on the performance of real-time database systems with respect to the number of transactions that miss their deadlines. Th...