loading...
A New Approach to the Specification and Verification of Real-Time Systems
Delft, The Netherlands June 13-June 15
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EMRTS.2001.93402513th Euromicro Conference on Real-Tim ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
G. Logothetis, K. Schneider, "A New Approach to the Specification and Verification of Real-Time Systems," Real-Time Systems, Euromicro Conference on, pp. 0171, 13th Euromicro Conference on Real-Time Systems (ECRTS'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/EMRTS.2001.934025,
author = {G. Logothetis and K. Schneider},
title = {A New Approach to the Specification and Verification of Real-Time Systems},
journal ={Real-Time Systems, Euromicro Conference on},
volume = {0},
year = {2001},
isbn = {0-7695-1221-6},
pages = {0171},
doi = {http://doi.ieeecomputersociety.org/10.1109/EMRTS.2001.934025},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Real-Time Systems, Euromicro Conference on
TI - A New Approach to the Specification and Verification of Real-Time Systems
SN - 0-7695-1221-6
SP
EP
A1 - G. Logothetis,
A1 - K. Schneider,
PY - 2001
VL - 0
JA - Real-Time Systems, Euromicro Conference on
ER -
 
G. Logothetis, University of Karlsruhe
K. Schneider, University of Karlsruhe
Abstract: We present a new temporal logic for the specification and verification of real-time systems. This logic is defined on discrete time transition systems which are interpreted in an abstract manner instead of the usual stuttering interpretation. Our approach directly allows the abstraction of real-time systems by ignoring irrelevant qualitative properties, but without loosing any quantitative information.
Citation:
G. Logothetis, K. Schneider, "A New Approach to the Specification and Verification of Real-Time Systems," ecrts, pp.0171, 13th Euromicro Conference on Real-Time Systems (ECRTS'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.