scientific article; zbMATH DE number 1418451
From MaRDI portal
Publication:4942006
zbMath0952.68092MaRDI QIDQ4942006
No author found.
Publication date: 19 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Proof-guided test selection from first-order specifications with equality ⋮ Model-Based Test Selection for Infinite-State Reactive Systems ⋮ Compositional approach to the development of reactive algorithms ⋮ A succinct canonical register automaton model ⋮ Towards Deriving Test Sequences by Model Checking
This page was built for publication:
