Publication:4532083
From MaRDI portal
zbMath0985.68661MaRDI QIDQ4532083
Publication date: 28 May 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2067/20670187
68U99: Computing methodologies and applications
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Testing restorable systems: formal definition and heuristic solution based on river formation dynamics, Composing model programs for analysis, A centralized and a decentralized method to automatically derive choreography-conforming web service systems, Conformance testing for real-time systems, Testing from a stochastic timed system with a fault model, Implementation relations and test generation for systems with distributed interfaces, Formally transforming user-model testing problems into implementer-model testing problems and viceversa, On-the-Fly Testing by Using an Executable TTCN-3 Markov Chain Usage Model, A General Testability Theory, Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach, A Formal Methodology to Test Complex Heterogeneous Systems, Controllable Test Cases for the Distributed Test Architecture, Model Driven Testing Based on Test History, Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts, Composition of Model Programs
Uses Software
Cites Work