Found: 6
Select item for more details and to access through your institution.
Inferring physical units in formal models.
- Published in:
- Software & Systems Modeling, 2017, v. 16, n. 1, p. 25, doi. 10.1007/s10270-015-0458-0
- By:
- Publication type:
- Article
Differential Debugging.
- Published in:
- IEEE Software, 2013, v. 30, n. 6, p. 9, doi. 10.1109/MS.2013.123
- Publication type:
- Article
Concepts of Refinement and Simulation in BPA and B-Method.
- Published in:
- Journal of Computer Science & Control Systems, 2009, v. 2, n. 2, p. 74
- By:
- Publication type:
- Article
Verifying Dynamic Properties with Past Temporal Operators in the B Refinement.
- Published in:
- International Review on Computers & Software, 2008, v. 3, n. 4, p. 429
- By:
- Publication type:
- Article
Book Review: Specification in B: an introduction using the B toolkit. Kevin Lano and Howard Haughton. Published by Imperial College Press and distributed by World Scientific Publishing, London, U.K., 1996. ISBN: 1-86094-018-8, 242 pages. Price: U.K. £17.00, soft cover.
- Published in:
- 1997
- By:
- Publication type:
- Book Review
Review: Book Review.
- Published in:
- 1997
- By:
- Publication type:
- Book Review