scientific article; zbMATH DE number 977451
From MaRDI portal
Publication:4331845
zbMATH Open0860.68069MaRDI QIDQ4331845FDOQ4331845
Authors: Ben Potter, J. E. Sinclair, David Till 
Publication date: 12 February 1997
Title of this publication is not available (Why is that?)
Recommendations
General topics in the theory of software (68N01) Formal languages and automata (68Q45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Abstract data types; algebraic specification (68Q65)
Cited In (9)
- A case study using lightweight formalism to review an information system specification
- Abstract interface behavior of object-oriented languages with monitors
- Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
- A blocking model for reactive objects
- Title not available (Why is that?)
- Title not available (Why is that?)
- An automatically verified prototype of the Tokeneer ID station specification
- Selected MRP II standard system requirements presented in Z-notation
- Composition mechanisms for retrenchment
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4331845)
