default search action
Search dblp for Publications
export results for "toc:db/conf/forte/forte1997.bht:"
@proceedings{DBLP:conf/forte/1997, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, publisher = {Chapman {\&} Hall}, year = {1998}, isbn = {0-412-82060-9}, timestamp = {Wed, 12 Feb 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/1997.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/AbdullaKP97, author = {Parosh Aziz Abdulla and Mats Kindahl and Doron A. Peled}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {An Improved Search Strategy for Lossy Channel Systems}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {251--264}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Fri, 12 Feb 2016 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/AbdullaKP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/AndoTK97, author = {Toshihiko Ando and Kaoru Takahashi and Yasushi Kato}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {On a Concurrency Calculus for Design of Mobile Telecommunication Systems}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {535--546}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 12 Feb 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/AndoTK97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/AndrewsDJ97, author = {James H. Andrews and Nancy A. Day and Jeffrey J. Joyce}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {417--432}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Sat, 25 Sep 2010 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/AndrewsDJ97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/AndriantsiferanaCOP97, author = {L. Andriantsiferana and Jean{-}Pierre Courtiat and Roberto C. de Oliveira and L. Picci}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {An Experiment in using {RT-LOTOS} for the Formal Specification and Verification of a Distributed Scheduling Algorithm in a Nuclear Power Plant Monitoring System}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {433--448}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 12 Feb 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/AndriantsiferanaCOP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/BarbutiFSV97, author = {Roberto Barbuti and Nicoletta De Francesco and Antonella Santone and Gigliola Vaglini}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {Selective {\(\mathrm{\mu}\)}-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {519--534}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 12 Feb 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/BarbutiFSV97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/Ben-AbdallahL97, author = {Han{\^{e}}ne Ben{-}Abdallah and Stefan Leue}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {Timing Constraints in Message Sequence Chart Specifications}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {91--106}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 12 Feb 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/Ben-AbdallahL97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/BhatCL97, author = {Girish Bhat and Rance Cleaveland and Gerald L{\"{u}}ttgen}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {Dynamic Priorities for Modeling Real-Time}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {321--336}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 12 Feb 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/BhatCL97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/Chang97, author = {Henry Chang}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {Distributed Object Consistency in Mobile Environments}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {483}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 12 Feb 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/Chang97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/CsopakiT97, author = {Gyula Csopaki and Kenneth J. Turner}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {Modelling Digital Logic in {SDL}}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {367--382}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 12 Feb 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/CsopakiT97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/DustzadehN97, author = {Joubine Dustzadeh and Elie Najm}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {Consistent Semantics for {ODP} Information and Computational Models}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {107--126}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 12 Feb 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/DustzadehN97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/EngelsMR97, author = {Andr{\'{e}} Engels and Sjouke Mauw and Michel A. Reniers}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {A Hierarchy of Communication Models for Message Sequence Charts}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {75--90}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 12 Feb 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/EngelsMR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/FischerS97, author = {Clemens Fischer and Graeme Smith}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {Combining {CSP} and Object-Z: Finite or Infinite Trace Semantics?}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {503--518}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Thu, 07 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/FischerS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/Frutos-EscrigDN97, author = {David de Frutos{-}Escrig and Luis Fernando Llana D{\'{\i}}az and Manuel N{\'{u}}{\~{n}}ez}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {Friendly Testing as a Conformance Relation}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {283--298}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Fri, 25 Aug 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/Frutos-EscrigDN97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/GermeauL97, author = {Fran{\c{c}}ois Germeau and Guy Leduc}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {A Computer Aided Design of a Secure Registration Protocol}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {145--160}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Mon, 05 Sep 2005 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/GermeauL97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/GrozR97, author = {Roland Groz and Nathalie Risser}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {Eight Years of Experience in Test Generation from FDTs using {TVEDA}}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {465--480}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 12 Feb 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/GrozR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/HeerinkT97, author = {Lex Heerink and Jan Tretmans}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {Refusal Testing for Classes of Transition Systems with Inputs and Outputs}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {23--38}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 12 Feb 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/HeerinkT97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/HenkeMK97, author = {Ralf Henke and Andreas Mitschele{-}Thiel and Hartmut K{\"{o}}nig}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {On the Influence of Semantic Constraints on the Code Generation from Estelle Specifications}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {399--414}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 12 Feb 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/HenkeMK97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/Hernalsteen97, author = {Christian Hernalsteen}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {A Timed Automaton Model for {ET-LOTOS} Verification}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {193--204}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 12 Feb 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/Hernalsteen97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/IglesiasN97, author = {Manuel J. Fern{\'{a}}ndez{-}Iglesias and Mart{\'{\i}}n Llamas Nistal}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {Algebraic Specification through Expression Transformation}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {355--366}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Fri, 12 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/IglesiasN97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/JuanoleG97, author = {Guy Juanole and Laurent Gallon}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {Concept of Quantified Abstract Quotient Automaton and its Advantage}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {223--238}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 12 Feb 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/JuanoleG97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/KangK97, author = {Sungwon Kang and Myungchul Kim}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {Interoperability Test Suite Derivation for Symmetric Communication Protocols}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {57--72}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Mon, 05 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/KangK97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/KangKKY97, author = {Deukyoon Kang and Sungwon Kang and Myungchul Kim and Sangjo Yoo}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {A Weighted Random Walk Approach for Conformance Testing of a System Specified as Communicating Finite State Machines}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {267--282}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Mon, 05 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/KangKKY97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/KatoOIS97, author = {Toshihiko Kato and Tomohiko Ogishi and Akira Idoue and Kenji Suzuki}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {Intelligent Protocol Analyzer with {TCP} Behavior Emulation for Interoperability Testing of {TCP/IP} Protocols}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {449--464}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Thu, 22 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/KatoOIS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/LuceroQ97, author = {Giovanny F. Lucero and Juan Quemada}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {Specifying the {ODP} Trader: An Introduction to {E-LOTOS}}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {127--142}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 12 Feb 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/LuceroQ97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/Musial97, author = {Marek Musial}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {On-Line Timed Protocol Trace Analysis Based on Uncertain State Descriptions}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {337--352}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 12 Feb 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/Musial97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/Noguchi97, author = {Shoichi Noguchi}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {The Future Information Technology and its Impact to the Society}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {317}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 12 Feb 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/Noguchi97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/ParkDD97, author = {Seungjoon Park and Satyaki Das and David L. Dill}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {Automatic Checking of Aggregation Abstractions Through State Enumeration}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {207--222}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 12 Feb 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/ParkDD97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/Sakakibara97, author = {Ichiroh Sakakibara}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {Network and Application for New Generation}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {1}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 29 Oct 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/Sakakibara97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/SinghL97, author = {Gurdip Singh and Hong Liu}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {Validating Protocol Composition for Progress by Parallel Step Reachability Analysis}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {239--250}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 12 Feb 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/SinghL97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/SteenBDB97, author = {Maarten Steen and Howard Bowman and John Derrick and Eerke A. Boiten}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {Disjunction of {LOTOS} Specifications}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {177--192}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 12 Feb 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/SteenBDB97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/SunLO97, author = {Yong Sun and Shaoying Liu and Mitsuru Ohba}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {Self-independent Petri Nets for Distributed Systems}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {487--502}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 12 Feb 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/SunLO97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/TogashiKL97, author = {Atsushi Togashi and Fumiaki Kanezashi and Xiasong Lu}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {A Methodology for the Description of System Requirements and the Derivation of Formal Specifications}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {383--398}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 12 Feb 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/TogashiKL97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/UlrichK97, author = {Andreas Ulrich and Hartmut K{\"{o}}nig}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {Specification-based Testing of Concurrent Systems}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {7--22}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 12 Feb 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/UlrichK97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/WongCCF97, author = {Alan C. Y. Wong and Samuel T. Chanson and Shing{-}Chi Cheung and Holger Fuchs}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {A Framework for Distributed Object-Oriented Testing}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {39--56}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 12 Feb 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/WongCCF97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/YasumotoGTHT97, author = {Keiichi Yasumoto and Kazuhiro Gotoh and Hiroki Tatsumoto and Teruo Higashino and Kenichi Taniguchi}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {Implementation of Distributed Systems described with {LOTOS} Multi-rendezvous on Bus Topology Networks}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {161--176}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 12 Feb 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/YasumotoGTHT97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/ZhuV97, author = {Jinsong Zhu and Son T. Vuong}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {Generalized Metric Based Test Selection and Coverage Measure for Communication Protocols}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {299--314}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 12 Feb 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/ZhuV97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.