Compatibility Checking for Asynchronously Communicating Software

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-07602-7_19
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Analyzing Interactions of Asynchronously Communicating Software Components

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Asynchronously Communicating Visibly Pushdown Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Correct-By-Construction Model for Asynchronously Communicating Systems

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2016English

Model Checking Logics for Communicating Sequential Agents

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Checking Compatibility of Web Services Behaviorally

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Model Checking Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Templates for Communicating Information About Software Requirements and Software Problems

2009English

Modeling and Checking Robustness of Communicating Autonomous Vehicles

Advances in Intelligent Systems and Computing
ControlSystems EngineeringComputer Science
2017English

Dynamic Path Reduction for Software Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy