Search dblp for Publications

export results for "toc:db/conf/sdl/sdl1997.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sdl/AlonistiotiNM97,
  author       = {A. Alonistioti and
                  G. Nikolaidis and
                  I. Modeas},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {SDL-based modelling and design of {IN/UMTS} handover functionality},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {19--34},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 14:16:32 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/AlonistiotiNM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/Ammar-BoudjelalLL97,
  author       = {Farid Ammar{-}Boudjelal and
                  Jean{-}Yves Lafaye and
                  Georges Louis},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {Specifying the steam-boiler case study with {SDL}},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {491--506},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Wed, 30 Oct 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sdl/Ammar-BoudjelalLL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/BochmannPBM97,
  author       = {Gregor von Bochmann and
                  Alexandre Petrenko and
                  O. Bellal and
                  S. Maguiraga},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {Automating the process of test derivation from {SDL} specifications},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {261--276},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/BochmannPBM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/CarracedoRDGGRB97,
  author       = {J. Carracedo and
                  Carlos Ramos and
                  Rub{\'{e}}n de Diego and
                  Carlos Gonz{\'{a}}lez and
                  Juan Jos{\'{e}} Gil and
                  Emilo Rodr{\'{\i}}guez and
                  Morgan Bj{\"{o}}rkander},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {Introducing {SDL} in the development of CORBA-compliant applications},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {351--366},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Sun, 04 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/CarracedoRDGGRB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/CavalliLM97,
  author       = {Ana R. Cavalli and
                  Boo{-}Ho Lee and
                  Toma Macavei},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {Test generation for the {SSCOP-ATM} networks protocol},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {277},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/CavalliLM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/EkGHJKS97,
  author       = {Anders Ek and
                  Jens Grabowski and
                  Dieter Hogrefe and
                  Richard Jerome and
                  Beat Koch and
                  Michael Schmitt},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {Towards the industrial use of validation techniques and automatic
                  test generation methods for {SDL} specifications},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {245--260},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Fri, 06 Jan 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sdl/EkGHJKS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/FacchiHH97,
  author       = {Christian Facchi and
                  Markus Haubner and
                  Ursula Hinkel},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {The {SDL} specification of the sliding window protocol revisited},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {507},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/FacchiHH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/FaltinLMS97,
  author       = {Nils Faltin and
                  Lennard Lambert and
                  Andreas Mitschele{-}Thiel and
                  Frank Slomka},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {An annotational extension of message sequence charts to support performance
                  engineering},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {307--322},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/FaltinLMS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/Fischbeck97,
  author       = {Nils Fischbeck},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {Experiences with {ISDN} validation models in {SDL} and proposal for
                  new {SDL} features},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {135--150},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/Fischbeck97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/GeppertGR97,
  author       = {Birgit Geppert and
                  Reinhard Gotzhein and
                  Frank R{\"{o}}{\ss}ler},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {Configuring communication protocols using {SDL} patterns},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {523--538},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/GeppertGR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/Gerlich97,
  author       = {Rainer Gerlich},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {Tuning development of distributed real-time systems with {SDL:} Current
                  experience and future issues},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {85},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/Gerlich97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/HaokanssonKV97,
  author       = {Paer{-}Olof Haokansson and
                  Jan Karlsson and
                  Louis Verhaard},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {Combining {SDL} and {C}},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {383--396},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/HaokanssonKV97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/Haugen97,
  author       = {{\O}ystein Haugen},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {The {MSC-96} distillery},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {167--182},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/Haugen97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/HenkeKM97,
  author       = {Ralf Henke and
                  Hartmut K{\"{o}}nig and
                  Andreas Mitschele{-}Thiel},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {Derivation of efficient implementations from {SDL} specifications
                  employing data referencing, integrated packet framing and activity
                  threads},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {397--414},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 11 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sdl/HenkeKM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/HintelmannW97,
  author       = {J{\"{o}}rg Hintelmann and
                  Reinhard Westerfeld},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {Performance analysis of TCP's flow control mechanisms using queueing
                  {SDL}},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {69--84},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/HintelmannW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/InocencioLSV97,
  author       = {Euricio Inoc{\^{e}}ncio and
                  Chris W. Loftus and
                  Edel Sherratt and
                  Paula Viana},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {The unification of OMT, {SDL} and {IDL} for service creation},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {443--458},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/InocencioLSV97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/IseltA97,
  author       = {Andreas Iselt and
                  Achim Autenrieth},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {An SDL-based platform for the simulation of communication networks
                  using dynamic block instantiations},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {35},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/IseltA97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/KarouiDY97,
  author       = {Kamel Karoui and
                  Rachida Dssouli and
                  Nina Yevtushenko},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {Design for testability of communication protocols based on {SDL} language},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {151},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sdl/KarouiDY97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/KerbratRL97,
  author       = {Alain Kerbrat and
                  Carlos Rodriguez{-}Salazar and
                  Yves Lejeune},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {Interconnecting the ObjectGeode and Caesar-Alderbaran toolsets},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {475--490},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/KerbratRL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/LoidlRH97,
  author       = {Stefan Loidl and
                  Ekkart Rudolph and
                  Ursula Hinkel},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {MSC'96 and beyond - a critical look},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {213},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/LoidlRH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/MacarioPB97,
  author       = {Carla Geovana N. Mac{\'{a}}rio and
                  Moacir Pedroso Jr. and
                  Walter C. Borelli},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {Designing a multi-user software environment for development and analysis
                  using a combination of {OMT} and {SDL92}},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {3--18},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Tue, 19 May 2009 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/MacarioPB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/MansurovCR97,
  author       = {Nikolai Mansurov and
                  Andrew V. Chernov and
                  Alexei S. Ragozin},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {Industrial strength code generation from {SDL}},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {415},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Fri, 17 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/MansurovCR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/MauwR97,
  author       = {Sjouke Mauw and
                  Michel A. Reniers},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {High-level message sequence charts},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {291--306},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/MauwR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/MeryG97,
  author       = {Dominique M{\'{e}}ry and
                  J. Paul Gibson},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {Telephone feature verification: Translating {SDL} to {TLA+}},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {103--118},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/MeryG97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/NyengG97,
  author       = {Astrid Nyeng and
                  Svanhild Gundersen},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {MSCs at Siemens {A/S} - towards the usage of {MSC-96}},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {323},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/NyengG97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/PerrierD97,
  author       = {Vincent Perrier and
                  Nicolas Dervaux},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {Combining object-oriented and real-time programming from an {OMT}
                  and {SDL} design},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {459},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/PerrierD97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/Reed97,
  author       = {Rick Reed},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {{SDL} and {MSC} in international organizations: {ITU-T}},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {231},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/Reed97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/RobertKG97,
  author       = {Gabriel Robert and
                  Ferhat Khendek and
                  Peter Grogono},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {Deriving an {SDL} specification with a given architecture from a set
                  of MSCs},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {197--212},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/RobertKG97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/ShibaST97,
  author       = {Shugo Shiba and
                  Yoshiaki Shigeta and
                  Wataru Tanaka},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {Switching software test environment using {MSC}},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {183--196},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/ShibaST97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/SinghS97,
  author       = {Ranjit Singh and
                  Jerry Serviss},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {Code generation using {GEODE:} {A} case study},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {539--550},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/SinghS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/StepplerL97,
  author       = {Martin Steppler and
                  Matthias Lott},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {{SPEET} {SDL} performance evaluation tool},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {53--68},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/StepplerL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/TataAF97,
  author       = {Samir Tata and
                  Laurent Andrey and
                  Olivier Festor},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {A practical experience on validating GDMO-based information models
                  with SDL'88 and SDL'92},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {367},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/TataAF97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/Toro97,
  author       = {Maria T{\"{o}}r{\"{o}}},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {Simulation of {IP} mobility support: An experiment in mobile protocol
                  specification with {SDL}},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {119--134},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/Toro97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/Troulet-Lambert97,
  author       = {Odile Troulet{-}Lambert},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {Is open-EDI a potential area for use of SDL?},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {433--442},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/Troulet-Lambert97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/Verschaeve97,
  author       = {Kurt Verschaeve},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {Automated iteration between {OMT} and {SDL}},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {335--350},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/Verschaeve97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sdl/1997,
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/1997.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.