Formal Techniques for Networked and Distributed Systems - FORTE 2003

DOI10.1007/11965zbMath1279.68029OpenAlexW2501695616MaRDI QIDQ5900959

Ismael Rodríguez, Manuel A. Nunez

Publication date: 26 May 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11965

zbMATH Keywords

conformance testingtest theoryperformance testing

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (4)

Specification, testing and implementation relations for symbolic-probabilistic systems ⋮ Controllable Test Cases for the Distributed Test Architecture ⋮ Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts ⋮ Testing from a stochastic timed system with a fault model

This page was built for publication: Formal Techniques for Networked and Distributed Systems - FORTE 2003