IFIP Advances in Information and Communication Technology - Formal Methods for Distributed System Development
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer US

9781475752649, 9780387355337

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Erratum to: Formal Methods for Distributed System Development

IFIP Advances in Information and Communication Technology - Formal Methods for Distributed System Development ◽

10.1007/978-0-387-35533-7_26 ◽

2017 ◽

pp. E1-E1

Author(s):

Tommaso Bolognesi ◽

Diego Latella

Keyword(s):

Formal Methods ◽

Distributed System ◽

System Development

Download Full-text

A Concise Compositional Statecharts Semantics Definition

IFIP Advances in Information and Communication Technology - Formal Methods for Distributed System Development ◽

10.1007/978-0-387-35533-7_21 ◽

2000 ◽

pp. 335-350 ◽

Cited By ~ 3

Author(s):

Michael von der Beeck

Download Full-text

Testing IP Routing Protocols — From Probabilistic Algorithms to a Software Tool

IFIP Advances in Information and Communication Technology - Formal Methods for Distributed System Development ◽

10.1007/978-0-387-35533-7_16 ◽

2000 ◽

pp. 249-264 ◽

Cited By ~ 10

Author(s):

Ruibing Hao ◽

David Lee ◽

Rakesh K. Sinha ◽

Dario Vlah

Keyword(s):

Routing Protocols ◽

Software Tool ◽

Probabilistic Algorithms ◽

Ip Routing

Download Full-text

A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification

IFIP Advances in Information and Communication Technology - Formal Methods for Distributed System Development ◽

10.1007/978-0-387-35533-7_10 ◽

2000 ◽

pp. 155-170 ◽

Cited By ~ 7

Author(s):

Luca Durante ◽

Riccardo Sisto ◽

Adriano Valenzano

Keyword(s):

Equivalence Verification ◽

Testing Equivalence

Download Full-text

Integrated System Interoperability Testing with Applications to VoIP

IFIP Advances in Information and Communication Technology - Formal Methods for Distributed System Development ◽

10.1007/978-0-387-35533-7_5 ◽

2000 ◽

pp. 69-84 ◽

Cited By ~ 9

Author(s):

Nancy Griffeth ◽

Ruibing Hao ◽

David Lee ◽

Rakesh K. Sinha

Keyword(s):

Integrated System ◽

Interoperability Testing ◽

System Interoperability

Download Full-text

Compact Net Semantics for Process Algebras

IFIP Advances in Information and Communication Technology - Formal Methods for Distributed System Development ◽

10.1007/978-0-387-35533-7_20 ◽

2000 ◽

pp. 319-334 ◽

Cited By ~ 1

Author(s):

Marco Bernardo ◽

Marina Ribaudo ◽

Nadia Busi

Keyword(s):

Process Algebras

Download Full-text

A Model Checking Method for Partially Symmetric Systems

IFIP Advances in Information and Communication Technology - Formal Methods for Distributed System Development ◽

10.1007/978-0-387-35533-7_8 ◽

2000 ◽

pp. 121-136 ◽

Cited By ~ 3

Author(s):

Serge Haddad ◽

Jean-Michel Ilié ◽

Khalil Ajami

Keyword(s):

Model Checking ◽

Partially Symmetric ◽

Symmetric Systems

Download Full-text

Hardware Implementation of Concurrent Periodic EFSMs

IFIP Advances in Information and Communication Technology - Formal Methods for Distributed System Development ◽

10.1007/978-0-387-35533-7_18 ◽

2000 ◽

pp. 285-300 ◽

Cited By ~ 3

Author(s):

Hisaaki Katagiri ◽

Masayuki Kirimura ◽

Keiichi Yasumoto ◽

Teruo Higashino ◽

Kenichi Taniguchi

Keyword(s):

Hardware Implementation

Download Full-text

Specification and Verification of Message Sequence Charts

IFIP Advances in Information and Communication Technology - Formal Methods for Distributed System Development ◽

10.1007/978-0-387-35533-7_9 ◽

2000 ◽

pp. 139-154 ◽

Cited By ~ 19

Author(s):

Doron Peled

Keyword(s):

Message Sequence Charts ◽

Specification And Verification

Download Full-text

Verifying and Testing Asynchronous Circuits Using Lotos

IFIP Advances in Information and Communication Technology - Formal Methods for Distributed System Development ◽

10.1007/978-0-387-35533-7_17 ◽

2000 ◽

pp. 267-283 ◽

Cited By ~ 3

Author(s):

Ji He ◽

Kenneth J. Turner

Keyword(s):

Asynchronous Circuits

Download Full-text

IFIP Advances in Information and Communication Technology - Formal Methods for Distributed System DevelopmentLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

Erratum to: Formal Methods for Distributed System Development

A Concise Compositional Statecharts Semantics Definition

Testing IP Routing Protocols — From Probabilistic Algorithms to a Software Tool

A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification

Integrated System Interoperability Testing with Applications to VoIP

Compact Net Semantics for Process Algebras

A Model Checking Method for Partially Symmetric Systems

Hardware Implementation of Concurrent Periodic EFSMs

Specification and Verification of Message Sequence Charts

Verifying and Testing Asynchronous Circuits Using Lotos

IFIP Advances in Information and Communication Technology - Formal Methods for Distributed System Development
Latest Publications