| The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community,with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science research forum available. The scope of LNCS, including its subseries LNAI and LNBI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes. -proceedings (published in time for the respective conference) -post-proceedings (consisting of thoroughly revised final full papers) -research monographs (which may be based on outstanding PhD work,research projects, technical reports, etc.) |
| Invited Talk Modular Performance Analysis of Distributed Embedded Systems Logic and Specification Real Time Temporal Logic: Past, Present, Future Translating Timed I/O Automata Specifications for Theorem Proving in PVS SpecificAtion and Refinement of Soft Real-Time Requirements Using Sequence Diagrams Times Games and Synthesis On Optimal Timed Strategies Average Reward Timed Games Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness Invited Talk Verification of Parameterized Timed Systems Model Checking Model Checking the Time to Reach Agreement Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems A New Verification Procedure for Partially Clairvoyant Scheduling Invited Talk Timing Analysis and Simulation Tools for Real-Time Control Hybrid Systems Automatic Rectangular Refinement of Affine Hybrid Systems Reachability Problems on Extended O-Minimal Hybrid Automata Counterexamples for Timed Probabilistic Reachability Petri Nets Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets Comparison of the Expressiveness of Timed Automata and Time Petri Nets Semantics Quantifying Similarities Between Timed Systems Performance of Pipelined Asynchronous Systems …… Semantics and Modelling Author Index |
内容加载中，请稍后...
商品评论（0条）