A methodology for protocol design and specification based on an extended state transition model
Keyword(s):
1984 ◽
Vol 14
(2)
◽
pp. 34-41
◽
Keyword(s):
2015 ◽
1982 ◽
Vol 30
(12)
◽
pp. 2506-2513
◽
Keyword(s):
Keyword(s):
2000 ◽
Vol 47
(1-2)
◽
pp. 121-139
◽
2015 ◽
1998 ◽
1990 ◽
Keyword(s):