scientific article; zbMATH DE number 1973972

zbMath1037.68557MaRDI QIDQ4422061

Manuel A. Nunez, Ismael Rodríguez

Publication date: 3 September 2003

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

\(\mathcal {HOTL}\): Hypotheses and observations testing logic ⋮ Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts ⋮ Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems ⋮ Conformance Testing Relations for Timed Systems