scientific article; zbMATH DE number 977451
From MaRDI portal
Publication:4331845
zbMath0860.68069MaRDI QIDQ4331845
Ben Potter, J. E. Sinclair, David Till
Publication date: 12 February 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)
Related Items (6)
A blocking model for reactive objects ⋮ Composition mechanisms for retrenchment ⋮ A case study using lightweight formalism to review an information system specification ⋮ Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application ⋮ Abstract interface behavior of object-oriented languages with monitors ⋮ An automatically verified prototype of the Tokeneer ID station specification
This page was built for publication:
