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{Cavalli:1996:SFM,
author = "Ana R. Cavalli and Jean Philippe Favreau and Marc
Phalippou",
title = "Standardization of formal methods in conformance
testing of communication protocols",
journal = j-COMP-NET-ISDN,
volume = "29",
number = "1",
pages = "3--14",
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/1568.pdf",
acknowledgement = ack-nhfb,
journal-URL = "http://www.sciencedirect.com/science/journal/01697552",
}
Related entries
- Cavalli, Ana R.,
28(12)1669
- conformance,
13(3)149,
14(1)79,
15(1)47,
15(4)285,
17(2)111,
17(4)367,
18(1)19,
22(1)7,
25(11)1243,
27(5)703,
29(1)49,
30(14)1277
- formal,
14(1)25,
14(1)61,
14(2)311,
14(3)3,
17(2)111,
18(5)335,
18(13)1845,
22(1)7,
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)15,
29(7)759,
30(1)225,
30(9)863,
30(9)865,
30(11)1045,
30(19)1735
- 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,
22(1)7,
25(10)1165,
26(2)195,
26(z)z,
27(9)1349,
28(12)1669,
28(13)1845,
29(7)759,
30(1)85,
30(1)215,
30(1)271,
30(9)865,
30(16)1607,
30(16)1697,
30(20)1887
- standardization,
12(4)209,
12(4)231,
15(1)27,
16(1)83,
21(3)149,
27(1)5,
30(14)1327
- 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,
22(1)7,
25(11)1243,
27(4)537,
27(5)703,
28(12)1669,
29(1)49,
29(1)107,
30(16)1617