9. FORTE / 16. PSTV 1996: Kaiserslautern,
Germany
Reinhard Gotzhein, Jan Bredereke (Eds.):
Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996.
IFIP Conference Proceedings 69 Chapman & Hall 1996, ISBN 0-412-79490-X BibTeX
@proceedings{DBLP:conf/forte/1996,
editor = {Reinhard Gotzhein and
Jan Bredereke},
title = {Formal Description Techniques IX: Theory, application and tools,
IFIP TC6 WG6.1 International Conference on Formal Description
Techniques IX / Protocol Specification, Testing and Verification
XVI, Kaiserslautern, Germany, 8-11 October 1996},
booktitle = {FORTE},
publisher = {Chapman {\&} Hall},
series = {IFIP Conference Proceedings},
volume = {69},
year = {1996},
isbn = {0-412-79490-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talk 1
Part One - Tools and Tool Support
Invited Talk 2
- Manfred Broy:
Formal Description Techniques - How Formal and Descriptive are they?
95-110 BibTeX
Part Two - FDT-Application
Part Three - FDT-Based System and Protocol Engineering
Part Four - Performance Modelling and Analysis
Part Five - Real-Time and Probability Aspects
Invited Talk 3 - Abstract
- Ed Brinksma:
Using Formal Methods: if you're so smart how come you ain't rich?
329 BibTeX
Part Six - Verification and Validation
Invited Talk 4 - Abstract
Part Seven - Industrial Usage Reports
- Samuel Huang, David Lee, Mark G. Staskauskas:
Validation-Based Test Sequence Generation for Networks of Extended Finite State Machines.
403-418 BibTeX
- Wolfgang Kellerer, Andreas Iselt, R. Riek:
Using SDL for the Specification, Simulation and Implementation of an Advanced OSI Data-Link Protocol on an Embedded Microcontroller System.
419-434 BibTeX
- Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian:
Specification and Verification of the PowerScaleTM Bus Arbitration Protocol: An Industrial Experiment with LOTOS.
435-450 BibTeX
- Eurico Inocêncio, Manuel Ricardo, Hitoshi Sato, Toshimitsu Kashima:
Combined Application of SDL-92, OMT, MSC and TTCN.
451-466 BibTeX
Part Eight - Extensions of FDTs and Semantical Foundations
Copyright © Sat May 16 23:12:33 2009
by Michael Ley (ley@uni-trier.de)