9. FORTE / 16. PSTV 1996: Kaiserslautern, Germany
share record
short URL:
https://dblp.org/rec/conf/forte/1996 Reinhard Gotzhein ,
Jan Bredereke :
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
share record
short URL:
https://dblp.org/rec/conf/forte/Danthine96
Part One - Tools and Tool Support
share record
short URL:
https://dblp.org/rec/conf/forte/PetrovPGLL96 export record
dblp key:
conf/forte/Mitschele-ThielLH96 share record
short URL:
https://dblp.org/rec/conf/forte/Mitschele-ThielLH96 share record
short URL:
https://dblp.org/rec/conf/forte/MansurovRCM96 share record
short URL:
https://dblp.org/rec/conf/forte/Hoschka96
share record
short URL:
https://dblp.org/rec/conf/forte/Broy96
Part Two - FDT-Application
share record
short URL:
https://dblp.org/rec/conf/forte/Kleuker96 share record
short URL:
https://dblp.org/rec/conf/forte/Smith96 share record
short URL:
https://dblp.org/rec/conf/forte/BrinksmaRV96
Part Three - FDT-Based System and Protocol Engineering
share record
short URL:
https://dblp.org/rec/conf/forte/PetrenkoYB96 share record
short URL:
https://dblp.org/rec/conf/forte/HoriuchiKOS96 share record
short URL:
https://dblp.org/rec/conf/forte/GrozCR96
Part Four - Performance Modelling and Analysis
share record
short URL:
https://dblp.org/rec/conf/forte/ButowMSK96 export record
dblp key:
conf/forte/DiefenbruchHM96 share record
short URL:
https://dblp.org/rec/conf/forte/DiefenbruchHM96 share record
short URL:
https://dblp.org/rec/conf/forte/BragaMR96
Part Five - Real-Time and Probability Aspects
share record
short URL:
https://dblp.org/rec/conf/forte/LawfordOW96 share record
short URL:
https://dblp.org/rec/conf/forte/NakataHT96 share record
short URL:
https://dblp.org/rec/conf/forte/MorkGHS96 share record
short URL:
https://dblp.org/rec/conf/forte/Fischer96
Invited Talk 3 - Abstract
share record
short URL:
https://dblp.org/rec/conf/forte/Brinksma96
Part Six - Verification and Validation
share record
short URL:
https://dblp.org/rec/conf/forte/SternD96 share record
short URL:
https://dblp.org/rec/conf/forte/NistalQI96 share record
short URL:
https://dblp.org/rec/conf/forte/QuemenerJ96 share record
short URL:
https://dblp.org/rec/conf/forte/CouvreurP96
Invited Talk 4 - Abstract
share record
short URL:
https://dblp.org/rec/conf/forte/Mackert96
Part Seven - Industrial Usage Reports
share record
short URL:
https://dblp.org/rec/conf/forte/HuangLS96 share record
short URL:
https://dblp.org/rec/conf/forte/KellererIR96 export record
dblp key:
conf/forte/ChehaibarGMTZ96 share record
short URL:
https://dblp.org/rec/conf/forte/ChehaibarGMTZ96 export record
dblp key:
conf/forte/InocencioRSK96 share record
short URL:
https://dblp.org/rec/conf/forte/InocencioRSK96
Part Eight - Extensions of FDTs and Semantical Foundations
share record
short URL:
https://dblp.org/rec/conf/forte/GaravelS96 export record
dblp key:
conf/forte/LarrabeitiQP96 share record
short URL:
https://dblp.org/rec/conf/forte/LarrabeitiQP96 share record
short URL:
https://dblp.org/rec/conf/forte/DerrickBBS96
maintained by
, founded at