scientific article; zbMATH DE number 2038731

zbMath1039.68071MaRDI QIDQ4449196

Mariëlle I. A. Stoelinga, Frits W. Vaandrager

Publication date: 8 February 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2719/27190464.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Specification, testing and implementation relations for symbolic-probabilistic systems ⋮ A General Testability Theory ⋮ Switched PIOA: parallel composition via distributed scheduling ⋮ Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems ⋮ Introducing complexity to formal testing

This page was built for publication: