| 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 resarch forum available. The scope of LNCS, including its subseries LNAI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material publised traditionally includes. -proceedings(published in time for the respective conference) -post-proceedings(consisting of thoroughly revised final full papers) -research monographs(which may be basde on outstanding PhD work, research projects, technical reports, etc.) |
| I Invited Tutorials UPPAAL Implementation Secrets Software Hazard and Safety Analysis II Invited Papers Real-Time Operating Systems: Problems and Novel Solutions Real-Time UML Eager Class Initialization for Java Applications of Formal Methods in Biology An Overview of Formal Verification for the Time-Triggered Architectm Scheduler Modeling Based on the Controller Synthesis Paradigm III Synthesis and Scheduling Component-Based Synthesis of Dependable Embedded Software From the Specification to the Scheduling of Time-Dependent Systems On Control with Bounded Computational Resources IV Timed Automata I Decidability of Safety Properties of Timed Multiset Rewriting Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning Fault Diagnosis for Timed Automata V Bounded Model Checking Verification of Timed Automata via Satisfiability Checking Take It NP-Easy: Bounded Model Construction for Duration Calculus Towards Bounded Model Checking for the Universal Fragment of TCTL VI Verification and Conformance Testing A Typed Interrupt Calculus Parametric Verification of a Group Membership Algorithm A Method for Testing the Conformance of Real Time Systems VII UML Models and Model Checking A Probabilistic Extension of UML Statecharts Eliminating Queues from RT UML Model Representations Model Checking - Timed UML State Machines and Collaborations VIII Timed Automata II Partial Order Path Technique for Checking Parallel Timed Automata Constructing Test Automata from Graphical Real-Time Requirements Author Index |
内容加载中，请稍后...
商品评论（0条）