Last update: Fri Jan 5 02:05:58 MST 2018
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Petrenko:1996:FCT,
author = "A. Petrenko and G. v. Bochmann and M. Yao",
title = "On fault coverage of tests for finite state
specifications",
journal = j-COMP-NET-ISDN,
volume = "29",
number = "1",
pages = "81--106",
day = "1",
month = dec,
year = "1996",
CODEN = "CNISE9",
ISSN = "0169-7552 (print), 1879-2324 (electronic)",
ISSN-L = "0169-7552",
bibdate = "Fri Sep 24 20:21:38 MDT 1999",
bibsource = "http://www.elsevier.com/cgi-bin/cas/tree/store/cna/cas_free/browse/browse.cgi?year=1996&volume=29&issue=1;
http://www.math.utah.edu/pub/tex/bib/compnetisdn.bib",
URL = "http://www.elsevier.com/cas/tree/store/comnet/sub/1996/29/1/1572.pdf",
acknowledgement = ack-nhfb,
journal-URL = "http://www.sciencedirect.com/science/journal/01697552",
}
Related entries
- Bochmann, G. v.,
18(5)335,
18(z)167
- fault,
10(2)97,
12(3)175,
15(4)229,
16(1)101
- finite,
9(5)353,
11(5)367,
13(2)65,
15(4)285,
22(1)7,
24(1)45,
26(5)525,
26(9)1169,
28(5)653,
28(13)1809,
30(12)1111
- specification,
11(3)183,
11(5)353,
12(3)147,
13(2)65,
13(2)75,
13(2)91,
13(2)97,
13(2)119,
14(1)25,
14(3)3,
16(1)21,
16(4)311,
17(2)111,
18(5)335,
18(z)167,
23(5)363,
24(3)199,
25(1)23,
25(7)779,
25(7)815,
26(2)233,
27(8)1247,
29(4)393,
29(4)397,
29(4)437,
29(4)457,
29(4)473,
30(1)225,
30(11)1045,
30(19)1735
- state,
9(5)353,
10(2)111,
13(3)249,
16(1)89,
21(3)149,
22(1)7,
22(3)213,
25(4)512,
25(11)1177,
28(7)1407,
30(12)1111
- test,
14(1)79,
15(4)285,
17(2)111,
18(1)19,
23(5)417,
24(1)65,
26(12)1581,
27(4)591,
27(7)1111,
27(7)1163,
29(1)15,
29(1)49,
29(1)107,
30(12)1111,
30(14)1277,
30(16)1597