Search dblp for Publications

export results for "stream:streams/conf/wift:"

 download as .bib file

@inproceedings{DBLP:conf/wift/Blackburn98,
  author       = {Mark R. Blackburn},
  title        = {{T-VECTM} Product Summary},
  booktitle    = {2nd Workshop on Industrial-Strength Formal Specification Techniques
                  {(WIFT} '98), October 20-23, 1998, Boca Raton, FL, {USA}},
  pages        = {86},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.ieeecomputersociety.org/10.1109/WIFT.1998.10002},
  doi          = {10.1109/WIFT.1998.10002},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/Blackburn98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/BlackburnB98,
  author       = {Mark R. Blackburn and
                  Robert Busser},
  title        = {Requirements for Industrial-Strength Formal Method Tools},
  booktitle    = {2nd Workshop on Industrial-Strength Formal Specification Techniques
                  {(WIFT} '98), October 20-23, 1998, Boca Raton, FL, {USA}},
  pages        = {137},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/WIFT.1998.766308},
  doi          = {10.1109/WIFT.1998.766308},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/BlackburnB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/Bruel98,
  author       = {Jean{-}Michel Bruel},
  title        = {Integrating Formal and Informal Specification Techniques. Why? How?},
  booktitle    = {2nd Workshop on Industrial-Strength Formal Specification Techniques
                  {(WIFT} '98), October 20-23, 1998, Boca Raton, FL, {USA}},
  pages        = {50},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/WIFT.1998.766297},
  doi          = {10.1109/WIFT.1998.766297},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/Bruel98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/Cheng98,
  author       = {Betty H. C. Cheng},
  title        = {A Discussion About Integrated Techniques},
  booktitle    = {2nd Workshop on Industrial-Strength Formal Specification Techniques
                  {(WIFT} '98), October 20-23, 1998, Boca Raton, FL, {USA}},
  pages        = {65},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/WIFT.1998.766299},
  doi          = {10.1109/WIFT.1998.766299},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/Cheng98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/DalalJPRS98,
  author       = {Siddhartha R. Dalal and
                  Ashish Jain and
                  Gardner C. Patton and
                  Manish Rathi and
                  Paul D. Seymour},
  title        = {{AETGSM} Web: {A} Web Based Service for Automatic Efficient Test Generation
                  from Functional Requirements},
  booktitle    = {2nd Workshop on Industrial-Strength Formal Specification Techniques
                  {(WIFT} '98), October 20-23, 1998, Boca Raton, FL, {USA}},
  pages        = {84--85},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/WIFT.1998.766301},
  doi          = {10.1109/WIFT.1998.766301},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/DalalJPRS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/DietzWW98,
  author       = {Paul Dietz and
                  Thomas Weigert and
                  Frank Weil},
  title        = {Formal Techniques for Automatically Generating Marshalling Code from
                  High-Level Specifications},
  booktitle    = {2nd Workshop on Industrial-Strength Formal Specification Techniques
                  {(WIFT} '98), October 20-23, 1998, Boca Raton, FL, {USA}},
  pages        = {40},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/WIFT.1998.766296},
  doi          = {10.1109/WIFT.1998.766296},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/DietzWW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/Evans98,
  author       = {Andy S. Evans},
  title        = {Reasoning with {UML} Class Diagrams},
  booktitle    = {2nd Workshop on Industrial-Strength Formal Specification Techniques
                  {(WIFT} '98), October 20-23, 1998, Boca Raton, FL, {USA}},
  pages        = {102--113},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/WIFT.1998.766304},
  doi          = {10.1109/WIFT.1998.766304},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/Evans98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/FeatherDR98,
  author       = {Martin S. Feather and
                  Julia R. Dunphy and
                  Nicolas Rouquette},
  title        = {"Pushbutton" Analysis Via Integration Of Industrial Tools With Formal
                  Validation},
  booktitle    = {2nd Workshop on Industrial-Strength Formal Specification Techniques
                  {(WIFT} '98), October 20-23, 1998, Boca Raton, FL, {USA}},
  pages        = {140},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/WIFT.1998.766309},
  doi          = {10.1109/WIFT.1998.766309},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/FeatherDR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/GodefroidKMW98,
  author       = {Patrice Godefroid and
                  John Kelly and
                  Steven P. Miller and
                  Frank Weil},
  title        = {Transferring Formal Methods Technology to Industry},
  booktitle    = {2nd Workshop on Industrial-Strength Formal Specification Techniques
                  {(WIFT} '98), October 20-23, 1998, Boca Raton, FL, {USA}},
  pages        = {128},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/WIFT.1998.766306},
  doi          = {10.1109/WIFT.1998.766306},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/GodefroidKMW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/Hall98,
  author       = {Anthony Hall},
  title        = {What Does Industry Need From Formal Specification Techniques?},
  booktitle    = {2nd Workshop on Industrial-Strength Formal Specification Techniques
                  {(WIFT} '98), October 20-23, 1998, Boca Raton, FL, {USA}},
  pages        = {2},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/WIFT.1998.766285},
  doi          = {10.1109/WIFT.1998.766285},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/Hall98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/HeimdahlH98,
  author       = {Mats Per Erik Heimdahl and
                  Constance L. Heitmeyer},
  title        = {Formal Methods For Developing High Assurance Computer Systems: Working
                  Group Report},
  booktitle    = {2nd Workshop on Industrial-Strength Formal Specification Techniques
                  {(WIFT} '98), October 20-23, 1998, Boca Raton, FL, {USA}},
  pages        = {60},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/WIFT.1998.766298},
  doi          = {10.1109/WIFT.1998.766298},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/HeimdahlH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/Heitmeyer98,
  author       = {Constance L. Heitmeyer},
  title        = {Using the SCR* Toolset to Specify Software Requirements},
  booktitle    = {2nd Workshop on Industrial-Strength Formal Specification Techniques
                  {(WIFT} '98), October 20-23, 1998, Boca Raton, FL, {USA}},
  pages        = {12},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/WIFT.1998.766290},
  doi          = {10.1109/WIFT.1998.766290},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/Heitmeyer98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/KochGHS98,
  author       = {Beat Koch and
                  Jens Grabowski and
                  Dieter Hogrefe and
                  Michael Schmitt},
  title        = {Autolink: {A} Tool for Automatic Test Generation from {SDL} Specifications},
  booktitle    = {2nd Workshop on Industrial-Strength Formal Specification Techniques
                  {(WIFT} '98), October 20-23, 1998, Boca Raton, FL, {USA}},
  pages        = {114},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/WIFT.1998.766305},
  doi          = {10.1109/WIFT.1998.766305},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/KochGHS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/LiuAKN98,
  author       = {Shaoying Liu and
                  Masashi Asuka and
                  Kiyotoshi Komaya and
                  Yasuaki Nakamura},
  title        = {Applying {SOFL} to Specify {A} Railway Crossing Controller for Industry},
  booktitle    = {2nd Workshop on Industrial-Strength Formal Specification Techniques
                  {(WIFT} '98), October 20-23, 1998, Boca Raton, FL, {USA}},
  pages        = {16--27},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/WIFT.1998.766294},
  doi          = {10.1109/WIFT.1998.766294},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/LiuAKN98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/Mats98,
  author       = {Lars Mats},
  title        = {Selection Criteria for Automated {TTCN} Test Case Generation from
                  {SDL}},
  booktitle    = {2nd Workshop on Industrial-Strength Formal Specification Techniques
                  {(WIFT} '98), October 20-23, 1998, Boca Raton, FL, {USA}},
  pages        = {10--11},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/WIFT.1998.766286},
  doi          = {10.1109/WIFT.1998.766286},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/Mats98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/MikkLSH98,
  author       = {Erich Mikk and
                  Yassine Lakhnech and
                  Michael Siegel and
                  Gerard J. Holzmann},
  title        = {Implementing Statecharts in {PROMELA/SPIN}},
  booktitle    = {2nd Workshop on Industrial-Strength Formal Specification Techniques
                  {(WIFT} '98), October 20-23, 1998, Boca Raton, FL, {USA}},
  pages        = {90--101},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/WIFT.1998.766303},
  doi          = {10.1109/WIFT.1998.766303},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/MikkLSH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/Mille98,
  author       = {Steven P. Mille},
  title        = {The Industrial Use of Formal Methods: Was Darwin Right?},
  booktitle    = {2nd Workshop on Industrial-Strength Formal Specification Techniques
                  {(WIFT} '98), October 20-23, 1998, Boca Raton, FL, {USA}},
  pages        = {74},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/WIFT.1998.766300},
  doi          = {10.1109/WIFT.1998.766300},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/Mille98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/PeriyasamyA98,
  author       = {Kasilingam Periyasamy and
                  Vangalur S. Alagar},
  title        = {Adding Real-Time Filters to Object-Oriented Specification of Time
                  Critical Systems},
  booktitle    = {2nd Workshop on Industrial-Strength Formal Specification Techniques
                  {(WIFT} '98), October 20-23, 1998, Boca Raton, FL, {USA}},
  pages        = {28--39},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/WIFT.1998.766295},
  doi          = {10.1109/WIFT.1998.766295},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/PeriyasamyA98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/Weil98,
  author       = {Frank Weil},
  title        = {{WIFT} '98 Working Group Report: Incorporating Formal Methods into
                  Industrial Processe},
  booktitle    = {2nd Workshop on Industrial-Strength Formal Specification Techniques
                  {(WIFT} '98), October 20-23, 1998, Boca Raton, FL, {USA}},
  pages        = {134},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/WIFT.1998.766307},
  doi          = {10.1109/WIFT.1998.766307},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/Weil98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/wift/1998,
  title        = {2nd Workshop on Industrial-Strength Formal Specification Techniques
                  {(WIFT} '98), October 20-23, 1998, Boca Raton, FL, {USA}},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/6218/proceeding},
  isbn         = {0-7695-0081-1},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wift/1998.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/BarrocaFS95,
  author       = {Leonor Maria Melo Torcato Barroca and
                  John S. Fitzgerald and
                  L. Spencer},
  title        = {The architectural specification of an avionic subsystem},
  booktitle    = {Workshop on Industrial-Strength Formal Specification Techniques, {WIFT}
                  1995, Boca Raton, Florida, USA, April 5-8, 1995},
  pages        = {17--29},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/WIFT.1995.515476},
  doi          = {10.1109/WIFT.1995.515476},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/BarrocaFS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/CamposCMM95,
  author       = {S{\'{e}}rgio Vale Aguiar Campos and
                  Edmund M. Clarke and
                  Wilfredo R. Marrero and
                  Marius Minea},
  title        = {Timing analysis of industrial real-time systems},
  booktitle    = {Workshop on Industrial-Strength Formal Specification Techniques, {WIFT}
                  1995, Boca Raton, Florida, USA, April 5-8, 1995},
  pages        = {97--107},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/WIFT.1995.515482},
  doi          = {10.1109/WIFT.1995.515482},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/CamposCMM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/ClelandM95,
  author       = {George Cleland and
                  Donald MacKenzie},
  title        = {Inhibiting factors, market structure and the industrial uptake of
                  formal methods},
  booktitle    = {Workshop on Industrial-Strength Formal Specification Techniques, {WIFT}
                  1995, Boca Raton, Florida, USA, April 5-8, 1995},
  pages        = {46--60},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/WIFT.1995.515478},
  doi          = {10.1109/WIFT.1995.515478},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/ClelandM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/Flora-HolmquistS95,
  author       = {Alan R. Flora{-}Holmquist and
                  Mark G. Staskauskas},
  title        = {Formal validation of virtual finite state machines},
  booktitle    = {Workshop on Industrial-Strength Formal Specification Techniques, {WIFT}
                  1995, Boca Raton, Florida, USA, April 5-8, 1995},
  pages        = {122--129},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/WIFT.1995.515484},
  doi          = {10.1109/WIFT.1995.515484},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/Flora-HolmquistS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/HagarB95,
  author       = {Jon Hagar and
                  James M. Bieman},
  title        = {Adding formal specifications to a proven V{\&}V process for system-critical
                  flight software},
  booktitle    = {Workshop on Industrial-Strength Formal Specification Techniques, {WIFT}
                  1995, Boca Raton, Florida, USA, April 5-8, 1995},
  pages        = {76--85},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/WIFT.1995.515480},
  doi          = {10.1109/WIFT.1995.515480},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/HagarB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/HamiltonCKKTFSMSCM95,
  author       = {David Hamilton and
                  Richard Covington and
                  John Kelly and
                  Carron Kirkwood and
                  Muffy Thomas and
                  Alan R. Flora{-}Holmquist and
                  Mark G. Staskauskas and
                  Steven P. Miller and
                  Mandayam K. Srivas and
                  George Cleland and
                  Donald MacKenzie},
  title        = {Experiences in applying formal methods to the analysis of software
                  and system requirements},
  booktitle    = {Workshop on Industrial-Strength Formal Specification Techniques, {WIFT}
                  1995, Boca Raton, Florida, USA, April 5-8, 1995},
  pages        = {30--43},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/WIFT.1995.515477},
  doi          = {10.1109/WIFT.1995.515477},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/HamiltonCKKTFSMSCM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/Hartonas-GarmhausenKCL95,
  author       = {Vicky Hartonas{-}Garmhausen and
                  Thomas R. Kurfess and
                  Edmund M. Clarke and
                  David E. Long},
  title        = {Automatic verification of industrial designs},
  booktitle    = {Workshop on Industrial-Strength Formal Specification Techniques, {WIFT}
                  1995, Boca Raton, Florida, USA, April 5-8, 1995},
  pages        = {88--96},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/WIFT.1995.515481},
  doi          = {10.1109/WIFT.1995.515481},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/Hartonas-GarmhausenKCL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/InglebyM95,
  author       = {Michael Ingleby and
                  David J. Mee},
  title        = {A calculus of hazard for railway signalling},
  booktitle    = {Workshop on Industrial-Strength Formal Specification Techniques, {WIFT}
                  1995, Boca Raton, Florida, USA, April 5-8, 1995},
  pages        = {146--158},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/WIFT.1995.515486},
  doi          = {10.1109/WIFT.1995.515486},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/InglebyM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/JagadeesanPO95,
  author       = {Lalita Jategaonkar Jagadeesan and
                  Carlos Puchol and
                  James Von Olnhausen},
  title        = {A formal approach to reactive systems software: a telecommunications
                  application in {ESTEREL}},
  booktitle    = {Workshop on Industrial-Strength Formal Specification Techniques, {WIFT}
                  1995, Boca Raton, Florida, USA, April 5-8, 1995},
  pages        = {132--145},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/WIFT.1995.515485},
  doi          = {10.1109/WIFT.1995.515485},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/JagadeesanPO95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/KirkwoodT95,
  author       = {Carron Kirkwood and
                  Muffy Thomas},
  title        = {Experiences with specification and verification in {LOTOS:} a report
                  on two case studies},
  booktitle    = {Workshop on Industrial-Strength Formal Specification Techniques, {WIFT}
                  1995, Boca Raton, Florida, USA, April 5-8, 1995},
  pages        = {159--171},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/WIFT.1995.515487},
  doi          = {10.1109/WIFT.1995.515487},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/KirkwoodT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/MillerS95,
  author       = {Steven P. Miller and
                  Mandayam K. Srivas},
  title        = {Formal verification of the {AAMP5} microprocessor: a case study in
                  the industrial use of formal methods},
  booktitle    = {Workshop on Industrial-Strength Formal Specification Techniques, {WIFT}
                  1995, Boca Raton, Florida, USA, April 5-8, 1995},
  pages        = {2--16},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/WIFT.1995.515475},
  doi          = {10.1109/WIFT.1995.515475},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/MillerS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/MinkowitzRT95,
  author       = {C. Minkowitz and
                  D. Rann and
                  J. H. Turner},
  title        = {A {C++} library for implementing specifications},
  booktitle    = {Workshop on Industrial-Strength Formal Specification Techniques, {WIFT}
                  1995, Boca Raton, Florida, USA, April 5-8, 1995},
  pages        = {61--75},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/WIFT.1995.515479},
  doi          = {10.1109/WIFT.1995.515479},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/MinkowitzRT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wift/Ostroff95,
  author       = {Jonathan S. Ostroff},
  title        = {Automated modular specification and verification of real-time reactive
                  systems},
  booktitle    = {Workshop on Industrial-Strength Formal Specification Techniques, {WIFT}
                  1995, Boca Raton, Florida, USA, April 5-8, 1995},
  pages        = {108--121},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/WIFT.1995.515483},
  doi          = {10.1109/WIFT.1995.515483},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wift/Ostroff95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/wift/1995,
  title        = {Workshop on Industrial-Strength Formal Specification Techniques, {WIFT}
                  1995, Boca Raton, Florida, USA, April 5-8, 1995},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/3877/proceeding},
  isbn         = {0-8186-7005-3},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wift/1995.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.