Models and Analysis in Distributed Systems
Latest Publications

TOTAL DOCUMENTS

12

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By John Wiley & Sons, Inc

9781118602638, 9781848213142

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Index

Models and Analysis in Distributed Systems ◽

10.1002/9781118602638.index ◽

2013 ◽

pp. 353-354

Download Full-text

Verification of Timed Systems

Models and Analysis in Distributed Systems ◽

10.1002/9781118602638.ch9 ◽

2013 ◽

pp. 271-306

Keyword(s):

Download Full-text

Verification of Finite-State Systems

Models and Analysis in Distributed Systems ◽

10.1002/9781118602638.ch7 ◽

2013 ◽

pp. 155-220

Keyword(s):

Download Full-text

Introduction to Verification

Models and Analysis in Distributed Systems ◽

10.1002/9781118602638.ch6 ◽

2013 ◽

pp. 135-154

Download Full-text

Architecture Description Languages

Models and Analysis in Distributed Systems ◽

10.1002/9781118602638.ch5 ◽

2013 ◽

pp. 97-134

Keyword(s):

Architecture Description Languages ◽

Architecture Description ◽

Description Languages

Download Full-text

Distributed Control

Models and Analysis in Distributed Systems ◽

10.1002/9781118602638.ch10 ◽

2013 ◽

pp. 307-351

Keyword(s):

Distributed Control

Download Full-text

Introduction

Models and Analysis in Distributed Systems ◽

10.1002/9781118602638.ch1 ◽

2013 ◽

pp. 17-20

Download Full-text

Front Matter

Models and Analysis in Distributed Systems ◽

10.1002/9781118602638.fmatter ◽

2013 ◽

pp. i-xv

Download Full-text

Modeling Time

Models and Analysis in Distributed Systems ◽

10.1002/9781118602638.ch4 ◽

2013 ◽

pp. 63-96

Download Full-text

Specification and Design Approaches

Models and Analysis in Distributed Systems ◽

10.1002/9781118602638.ch3 ◽

2013 ◽

pp. 41-62

Download Full-text