책 이미지
책 정보
· 분류 : 외국도서 > 컴퓨터 > 데이터 프로세싱
· ISBN : 9783540216711
· 쪽수 : 281쪽
목차
Timed Automata and Timed Languages Challenges and Open Problems.- Towards Efficient Partition Refinement for Checking Reachability in Timed Automata.- Checking ACTL Properties of Discrete Timed Automata via Bounded Model Checking.- Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently.- Adding Symmetry Reduction to Uppaal.- TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems.- Optimization of Timed Automata Models Using Mixed-Integer Programming.- Discrete-Time Rewards Model-Checked.- Performance Analysis of Probabilistic Timed Automata Using Digital Clocks.- An Interval-Based Algebra for Restricted Event Detection.- PARS: A Process Algebra with Resources and Schedulers.- Formal Semantics of Hybrid Chi.- Run-Time Guarantees for Real-Time Systems.- A Nonarchimedian Discretization for Timed Languages.- Folk Theorems on the Determinization and Minimization of Timed Automata.- Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking.- On Timing Analysis of Combinational Circuits.- Analysis of Real Time Operating System Based Applications.- Time-Optimal Test Cases for Real-Time Systems.- Using Zone Graph Method for Computing the State Space of a Time Petri Net.- Causal Time Calculus.- ELSE: A New Symbolic State Generator for Timed Automata.