scientific article; zbMATH DE number 6125189
From MaRDI portal
Publication:4900302
zbMath1265.68098MaRDI QIDQ4900302
Florentin Ipate, Tudor Bălănescu
Publication date: 14 January 2013
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Related Items (2)
Testing against a non-controllable stream X-machine using state counting ⋮ Bounded sequence testing from deterministic finite state machines
This page was built for publication: