Conformance Testing of Distributed Concurrent Systems With Executable Designs

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-04167-9_4
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Conformance Relations for Distributed Testing Based on CSP

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Formal Executable Semantics for Conformance in the MDE Framework

Innovations in Systems and Software Engineering
Software
2009English

Verification and Testing of Concurrent Systems With Action Races

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2000English

Distributed Security Policy Conformance

Computers and Security
LawComputer Science
2013English

Distributed Testing of Multicomponent Systems

2012English

Model-Based Testing for Concurrent Systems With Labelled Event Structures

Software Testing Verification and Reliability
Media TechnologyRiskReliabilitySafetyQualitySoftware
2014English

Conformance Testing Trials on ERMES Receivers

1996English

Concurrent and Distributed Applications With ActoDeS

MATEC Web of Conferences
Materials ScienceEngineeringChemistry
2016English

Concurrent Exception Handling and Resolution in Distributed Object Systems

IEEE Transactions on Parallel and Distributed Systems
HardwareComputational TheorySignal ProcessingArchitectureMathematics
2000English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy