E-Books durchsuchen
Formal Techniques for Distributed Systems [2010]
- 1
-
Formal Software Verification: How Close Are We?
- 2
-
Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning
- 17
-
Reactive Semantics for Distributed UML Activities
- 32
-
Statistical Abstraction and Model-Checking of Large Heterogeneous Systems
- 47
-
Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude
- 63
-
Testing Probabilistic Distributed Systems
- 78
-
Specification and Testing of E-Commerce Agents Described by Using UIOLTSs
- 87
-
Testing Attribute-Based Transactions in SOC
- 95
-
Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory
- 110
-
Forgetting the Time in Timed Process Algebra
- 125
-
Theory and Implementation of a Real-Time Extension to the <Emphasis Type="Italic">π</Emphasis>-Calculus
- 140
-
Fuzzy-Timed Automata
- 155
-
Model Checking of Hybrid Systems Using Shallow Synchronization
- 170
-
Heap-Dependent Expressions in Separation Logic
- 186
-
Static Type Analysis of Pattern Matching by Abstract Interpretation
- 201
-
On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols
- 216
-
On Efficient Models for Model Checking Message-Passing Distributed Protocols
- 224
-
Logics for Contravariant Simulations