Formal Description Techniques and Protocol Specification, Testing and Verification FORTE X / PSTV XVII ’97 / by Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino.
FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application,...
Full description
Saved in:
Bibliographic Details
| Main Authors: |
Togashi, Atsushi
(Author),
Mizuno, Tadanori
(Author),
Shiratori, Norio
(Author),
Higashino, Teruo
(Author) |
|---|
| Corporate Author: |
SpringerLink (Online service) |
|---|
| Format: | eBook
|
|---|
| Language: | English |
|---|
| Published: |
New York, NY :
Springer US : Imprint: Springer,
1997.
|
|---|
| Edition: | 1st ed. 1997. |
|---|
| Series: | IFIP Advances in Information and Communication Technology,
Springer eBook Collection.
|
|---|
| Subjects: | |
|---|
| Online Access: | Click to view e-book
|
|---|
| Holy Cross Note: | Loaded electronically.
Electronic access restricted to members of the Holy Cross Community. |
|---|