15. PSTV 1995:
Warsaw, Poland Piotr Dembinski , Marek Sredniawa (Eds.):
Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995.
IFIP Conference Proceedings 38 Chapman & Hall 1996, ISBN 0-412-71620-8 Part One - Specification and Verification:
Time-dependent Analysis
export record as
dblp key:
export record as
dblp key:
Stefan Leue :
Specifying real-time requirements for SDL specifications - a temporal logic-based approach.
19-34
export record as
dblp key:
Invited Paper
export record as
dblp key:
Part Two - Specification of Concurrent Systems
export record as
dblp key:
export record as
dblp key:
Part Three - Testing
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Part Four - Specification and Verification:
Temporal Approach
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Mohamed Jmaiel :
An algebraic-temporal specification of a CSMA/CD-protocol.
187-202
Part Five - Validation and Testing
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/pstv/Frutos-EscrigNQ95
Part Six - Specification and Analysis
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Hubert Garavel :
On the introduction of gate typing in E-LOTOS.
283-298
Part Seven - Verification:
Model Checking
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Riccardo Sisto :
A method to build symbolic representations of LOTOS specifications.
331-346
Invited Paper
export record as
dblp key:
Part Eight - High Speed/Multimedia
export record as
dblp key:
S. Fischer :
On the suitability of Estelle for multimedia systems.
369-384
export record as
dblp key:
O. Catrina :
Protocol analysis and verification methods, application to the Xpress Transfer protocol 4.0.
385-400
Part Nine - Towards Implementation
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
