default search action
Search dblp for Publications
export results for "stream:conf/wift:"
@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 H. 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 = {Tue, 01 Oct 2024 01:00:00 +0200}, 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} }
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.