scientific article
From MaRDI portal
Publication:3070874
zbMath1204.68116MaRDI QIDQ3070874
Tudor Bălănescu, Marian Gheorghe, Mike Holcombe, Florentin Ipate
Publication date: 28 January 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (4)
Testing against a non-controllable stream X-machine using state counting ⋮ Finite state based testing of P systems ⋮ Bounded sequence testing from deterministic finite state machines ⋮ Testing Non-deterministic Stream X-machine Models and P systems
This page was built for publication:
