E-Books durchsuchen
Formal Techniques for Networked and Distributed Systems [2001]
- 3
-
Automated Derivation of ILP Implementations from SDL Specifications
- 19
-
Stepwise Design with Message Sequence Charts
- 35
-
Formal Synthesis and Control of Soft Embedded Real-Time Systems
- 53
-
Towards a Formal Framework for Interoperability Testing
- 69
-
Distributed Test Using Logical Clock
- 85
-
Diagnosing Multiple Faults in Communicating Finite State Machines
- 101
-
From Active to Passive: Progress in Testing of Internet Routing Protocols
- 119
-
Time and Action Lock Freedom Properties for Timed Automata
- 135
-
Compiling Real-time Scenarios into a Timed Automaton
- 151
-
Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-time Temporal Logic Formulas
- 169
-
PAMR: A Process Algebra for the Management of Resources in Concurrent Systems
- 185
-
A Symbolic Semantics and Bisimulation for Full Lotos
- 201
-
Implementing a Modal Logic Over Data and Processes Using XTL
- 219
-
Formal Verification of Peephole Optimizations in Asynchronous Circuits
- 235
-
Symbolic Verification of Complex Real-time Systems with Clock-restriction Diagram
- 251
-
Verifying a Sliding-Window Protocol Using PVS
- 269
-
Test Sequence Selection
- 285
-
Executable Test Sequence for the Protocol Data Flow Property
- 301
-
A Method to Generate Conformance Test Sequences for FSM with Timer System Call
- 319
-
A Tool for Generating Specifications from A Family of Formal Requirements
- 335
-
Patterns and Rules for Behavioural Subtyping
- 353
-
Verification of Dense Time Properties Using Theories of Untimed Process Algebra
- 369
-
Testing Liveness Properties
- 377
-
SVL: A Scripting Language for Compositional Verification
- 395
-
On Formal Techniques in Protocol Engineering — Example Challenges
- 421
-
A PKI-based End-To-End Secure Infrastructure for Mobile E-Commerce
- 443
-
A Family of Resource-Bound Real-Time Process Algebras
- 459
-
Survivability Analysis of Networked Systems
- E1
-
Erratum to: Formal Techniques for Networked and Distributed Systems