scientific article; zbMATH DE number 1735632
From MaRDI portal
Publication:4329016
zbMath0997.68051MaRDI QIDQ4329016
Mike Holcombe, Marian Gheorghe, Tony Cowling, Joaquín Aguado, Florentin Ipate, Tudor Bălănescu
Publication date: 14 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)
Related Items (6)
A unified integration and component testing approach from deterministic stream X-machine specifications ⋮ Testing against a non-controllable stream X-machine using state counting ⋮ Testing data processing-oriented systems from stream X-machine models ⋮ Formal verification of cP systems using PAT3 and ProB ⋮ Fundamental results for learning deterministic extended finite state machines from queries ⋮ Checking experiments for stream X-machines
This page was built for publication: