|
|
Volumn , Issue , 2010, Pages 157-
|
|
From Boolean to quantitative notions of correctness
|
|
Author keywords
Quantitative analysis; Quantitative specification; Quantitative synthesis
|
|
Indexed keywords
AVERAGE DIFFERENCE;
AVERAGE-CASE;
BOOLEAN SPECIFICATIONS;
CLASSICAL METHODS;
FINITE PREFIX;
INDIVIDUAL BEHAVIOR;
LIMIT VALUES;
MINIMAL DISTANCE;
NUMERICAL QUANTITY;
NUMERICAL VALUES;
PARETO CURVE;
POTENTIAL APPLICATIONS;
PREORDERS;
QUANTITATIVE ANALYSIS;
QUANTITATIVE MEASURES;
QUANTITATIVE TRANSFORMATION;
REAL-TIME LOGIC;
RESOURCE USE;
RESPONSE PROPERTIES;
RESPONSE TIME;
STOCHASTIC PROCESS;
SUPREMUM;
SYSTEM ANALYSIS;
SYSTEM SYNTHESIS;
TIMED AUTOMATA;
TRUTH VALUES;
WORST CASE RESPONSE TIME;
ABSTRACTING;
CHEMICAL ANALYSIS;
COMPUTER SOFTWARE;
LINGUISTICS;
PROBABILISTIC LOGICS;
RANDOM PROCESSES;
SPECIFICATIONS;
RESPONSE TIME (COMPUTER SYSTEMS);
|
|
EID: 77950914556
PISSN: 07308566
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/1706299.1706319 Document Type: Conference Paper |
|
Times cited : (25)
|
|
References (0)
|
