blob: 0e7c826a6d1b1797770e1e30924151d034f5ceb6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
%%
%% This is file `bpfats7.tex',
%% generated with the docstrip utility.
%%
%% The original source files were:
%%
%% stepe.dtx (with options: `bpfats7')
%%
%% This work has been partially funded by the US government
%% and is not subject to copyright.
%%
%% This program is provided under the terms of the
%% LaTeX Project Public License distributed from CTAN
%% archives in directory macros/latex/base/lppl.txt.
%%
%% Author: Peter Wilson (CUA and NIST)
%% now at: peter.r.wilson@boeing.com
%%
\ProvidesFile{bpfats7.tex}[2001/07/16 ATS general verdict criteria boilerplate]
\typeout{bpfats7.tex [2001/07/16 ATS general verdict criteria boilerplate]}
The following verdict criteria apply to all abstract test cases
contained in this part of ISO 10303:
gvc1 The semantics of the input model are preserved in the output of
the IUT according to the reference paths specified in the mapping
\maptableorspec{} defined in ISO 10303-\theAPpartno, clause 5 (g1).
\par
\endinput
%%
%% End of file `bpfats7.tex'.
|
