Вы здесь

Главная

Teddington

Связанные издания:

A Comparison of Methods Used for the Calculation of Effective Area in the Calibration of Pressure Balances
A Formal Interpretation of the MAA Standard in Z
Algorithms for Geometric Tolerance Assessment
Algorithms for Spline Curves and Surfaces
Algorithms for the Solution of Constrained Non-Linear Least Squares Problems
An Algorithm for the Removal of Noise and Jitter in Signals and Its Application to Picosecond Electrical Measurement
An Appraisal of Communicating Sequential Processes
An Axiomatization of Lamport s Temporal Logic of Actions
An Experiment in VDM to SQL Translation
Annual Report and Accounts 1990-1991
Annual Report and Accounts 1991-1992
Approved Ada Uniformity Issues
A preliminary design for a methodology for Experimentally Measuring Usability EMU
Automatic Claims Derivation from a User s Security Policy using AI Techniques
A VDM-SL Specification for the vi Pattern Matcher
Chebyshev Best-Fit Geometric Elements
Composing Specifications
Formal Description Techniques and Security Standard Conformance Testing
Formal Description Techniques in Data Security: An Evaluation and Comparison
Formal Methods in IT Security Standards - Scope for Usage
Formal methods, structured techniques, and security - A unified methodology
Further Issues in EDI Security
Geometric Tolerance Assessment
Getting the correct answers
Improving CMM software quality
Issues in Secure Electronic Data Interchange (EDI)
LOTOS specification of the MAA standard, with an evaluation of LOTOS
Mathematical modelling in manufacturing metrology
National Physical Laboratory. Annual Review 1996
National Physical Laboratory Review - 2002-03
NPL Points of Contact 1995/96
Parallel processing, a glossary of terms
Parallel Processing, glossary of terms. (Update)
Points of Contact 1992/93
Position Calibration Software for the Form Assessment of Complex Workpieces
Position Calibration Software: Fortran Implementation of Algorithms to Determine Frame of Reference from Measurements of Registration Points
PostScript - A study in conformity
RAISE Specification of the MD4 Message Digest Algorithm
Reports and Published Papers 1993-1994
Reports and Published Papers 1994-1995
Security Clauses in the Writing and Analysis of Standards
Security Target and Test Purposes for EDIFACT
Software Metrics and Security Standard Conformance Testing
Software Metrics and the Conformance Testing of Data Security Standards
Software Stamping
Specification of the MAA Standard in VDM
Specification of the Two-way Handshake in VDM
Standards and conformance testing in data security: Results of initial programme of investigation
State of the Art Techniques in Automatic Generation of Reference Implementations & Test Code from Formal Specifications
Strategies for Testing Form Assignment Software