Formal description techniques and protocol specification, testing and verification : Joint international conference : Nov 1998, Paris, France.

Notes on use

Note (General)：: Selected papers and abstract.Also known as FORTE/PSTV '98. Comprises Joint international conference on formal description techniques for distributed s...

Search by Bookstore

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
ISBN: 0412847604
Title: Formal description techniques and protocol specification, testing and verification : Joint international conference : Nov 1998, Paris, France.
Author Heading: International Federation for Information Processing. TC 6. WG 6.1.
Extent: v.
Alternative Title: Also known as FORTE/PSTV '98. Comprises Joint international conference on formal description techniques for distributed systems and communication protocols, FORTE 11 and Protocol specification, testing and verification, PSTV 18
formal description techniques ; PSTV ; FORTE PSTV ; IFIP ; protocol specification
NDLC: M17
M159
Note (General): Selected papers and abstract.
Also known as FORTE/PSTV '98. Comprises Joint international conference on formal description techniques for distributed systems and communication protocols, FORTE 11 and Protocol specification, testing and verification, PSTV 18.
Index term: formal description techniques ; PSTV ; FORTE PSTV ; IFIP ; protocol specification.
Holding library: 国立国会図書館
Call No.: M17-99-0253
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003507333
http://id.ndl.go.jp/bib/000003507333
Bibliographic Record Category (NDL): 215