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{Bosik:1991:FSM,
author = "B. S. Bosik and M. U. Uyar",
title = "Finite state machine based formal methods in protocol
conformance testing: from theory to implementation",
journal = j-COMP-NET-ISDN,
volume = "22",
number = "1",
pages = "7--??",
month = aug,
year = "1991",
CODEN = "CNISE9",
ISSN = "0169-7552 (print), 1879-2324 (electronic)",
ISSN-L = "0169-7552",
bibdate = "Wed Sep 22 18:15:30 MDT 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/compnetisdn.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://www.sciencedirect.com/science/journal/01697552",
}
Related entries
- based,
12(3)159,
13(2)119,
13(4)257,
14(2)221,
16(5)367,
17(1)29,
18(13)1845,
20(1)137,
20(1)189,
23(5)363,
24(2)119,
24(4)311,
25(1)23,
25(6)631,
25(7)791,
25(10)1065,
26(1)5,
26(3)316,
26(3)349,
26(11)1365,
27(2)205,
27(6)953,
27(8)1247,
27(9)1399,
28(13)1845,
28(14)1887,
28(14)1939,
29(3)373,
29(5)555,
29(14)1611,
29(14)1635,
29(16)1857,
30(1)672,
30(14)1341,
30(16)1447,
30(16)1543,
30(20)1887
- conformance,
13(3)149,
14(1)79,
15(1)47,
15(4)285,
17(2)111,
17(4)367,
18(1)19,
25(11)1243,
27(5)703,
29(1)3,
29(1)49,
30(14)1277
- finite,
9(5)353,
11(5)367,
13(2)65,
15(4)285,
24(1)45,
26(5)525,
26(9)1169,
28(5)653,
28(13)1809,
29(1)81,
30(12)1111
- formal,
14(1)25,
14(1)61,
14(2)311,
14(3)3,
17(2)111,
18(5)335,
18(13)1845,
25(1)3,
25(4)583,
25(7)723,
25(7)779,
25(7)815,
26(2)233,
27(8)1305,
28(13)1845,
29(1)3,
29(1)15,
29(7)759,
30(1)225,
30(9)863,
30(9)865,
30(11)1045,
30(19)1735
- implementation,
9(4)267,
11(2)133,
11(5)353,
11(z)277,
12(3)147,
14(1)61,
14(2)279,
14(2)283,
14(2)365,
16(1)108,
16(1)116,
16(1)119,
16(1)121,
17(2)89,
17(4)344,
17(4)362,
17(4)367,
18(1)31,
22(1)51,
25(1)23,
25(4)469,
25(7)841,
25(8)921,
25(10)1127,
25(11)1177,
26(3)253,
26(11)1425,
26(12)1523,
27(5)677,
27(9)1367,
29(1)49,
29(3)315,
30(1)757,
30(13)1201,
30(16)1467,
30(16)1617,
30(22)2113,
z(z)183
- machine,
14(1)61,
14(2)167,
15(4)285,
25(11)1177,
27(6)1027,
28(7)941,
29(8)1019,
30(12)1111
- method,
10(3)185,
15(3)177,
15(4)245,
18(13)1845,
20(1)7,
20(1)171,
20(1)189,
20(1)435,
21(2)121,
25(10)1165,
26(2)195,
26(z)z,
27(9)1349,
28(12)1669,
28(13)1845,
29(1)3,
29(7)759,
30(1)85,
30(1)215,
30(1)271,
30(9)865,
30(16)1607,
30(16)1697,
30(20)1887
- state,
9(5)353,
10(2)111,
13(3)249,
16(1)89,
21(3)149,
22(3)213,
25(4)512,
25(11)1177,
28(7)1407,
29(1)81,
30(12)1111
- testing,
11(z)277,
12(3)175,
13(3)149,
14(1)79,
15(1)47,
15(4)285,
17(2)77,
17(2)111,
18(1)19,
25(11)1243,
27(4)537,
27(5)703,
28(12)1669,
29(1)3,
29(1)49,
29(1)107,
30(16)1617
- theory,
9(3)191,
9(5)353,
10(2)111,
10(5)275,
11(2)111,
11(5)367,
12(2)89,
12(5)329,
13(2)65,
13(4)269,
15(4)229,
15(4)285,
15(5)359,
17(1)1,
17(1)15,
20(1)425,
30(16)1579