Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/entcs/entcs80.bht:"
download as .bib file
@inproceedings{DBLP:journals/entcs/ArtsF03,
author = {Thomas Arts and
Wan J. Fokkink},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {Preface},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {310--311},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80832-1},
doi = {10.1016/S1571-0661(05)80832-1},
timestamp = {Tue, 06 Dec 2022 10:12:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArtsF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BerthomieuRVBFBFPMFGDL03,
author = {Bernard Berthomieu and
Pierre{-}Olivier Ribet and
Fran{\c{c}}ois Vernadat and
J. L. Bernartt and
Jean{-}Marie Farines and
Jean{-}Paul Bodeveix and
Mamoun Filali and
G{\'{e}}rard Padiou and
Pierre Michel and
Patrick Farail and
Pierre Gauffilet and
Pierre Dissaux and
Jean{-}Luc Lambert},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {Towards the verification of real-time systems in avionics: the Cotre
approach},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {203--218},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80819-3},
doi = {10.1016/S1571-0661(04)80819-3},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BerthomieuRVBFBFPMFGDL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bicarregui03,
author = {Juan Bicarregui},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {Information Systems Research and Development at {CCLRC:} Accelerating
Innovation through Technology Transfer},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {261--266},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80823-5},
doi = {10.1016/S1571-0661(04)80823-5},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Bicarregui03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BiereAHS03,
author = {Armin Biere and
Cyrille Artho and
Malek Haroud and
Viktor Schuppan},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {Formal Methods Group {ETH} Z{\"{u}}rich},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {289--293},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80828-4},
doi = {10.1016/S1571-0661(04)80828-4},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BiereAHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BlomGLP03,
author = {Stefan Blom and
Jan Friso Groote and
Izak van Langevelde and
Bert Lisser and
Jaco van de Pol},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {New developments around the mCRL tool set},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {284--288},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80827-2},
doi = {10.1016/S1571-0661(04)80827-2},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BlomGLP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BlomO03a,
author = {Stefan Blom and
Simona Orzan},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {Distributed State Space Minimization},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {109--123},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80812-0},
doi = {10.1016/S1571-0661(04)80812-0},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BlomO03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Braek03,
author = {Rolv Br{\ae}k},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {Formal Methods Research at NTNU, Department of Telematics},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {304--309},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80831-4},
doi = {10.1016/S1571-0661(04)80831-4},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Braek03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrimB03,
author = {Lubos Brim and
Jiri Barnat},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {Distribution of Explicit-State {LTL} Model-Checking},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {273--278},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80825-9},
doi = {10.1016/S1571-0661(04)80825-9},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrimB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BruckerW03,
author = {Achim D. Brucker and
Burkhart Wolff},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {A Case Study of a Formalized Security Architecture},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {24--40},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80807-7},
doi = {10.1016/S1571-0661(04)80807-7},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BruckerW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BubelH03,
author = {Richard Bubel and
Reiner H{\"{a}}hnle},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {Integration of Informal and Formal Development of Object-Oriented
Safety-Critical Software: {A} Case Study with the KeY System},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {1--23},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80806-5},
doi = {10.1016/S1571-0661(04)80806-5},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BubelH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BurdyCCEKLLP03,
author = {Lilian Burdy and
Yoonsik Cheon and
David R. Cok and
Michael D. Ernst and
Joseph Kiniry and
Gary T. Leavens and
K. Rustan M. Leino and
Erik Poll},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {An overview of {JML} tools and applications},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {75--91},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80810-7},
doi = {10.1016/S1571-0661(04)80810-7},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BurdyCCEKLLP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Butterfield03,
author = {Andrew Butterfield},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {Formal Methods for Industrial Critical Systems at Trinity College,
University of Dublin},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {299--303},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80830-2},
doi = {10.1016/S1571-0661(04)80830-2},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Butterfield03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ButterfieldW03,
author = {Andrew Butterfield and
Jim Woodcock},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {An Operational Semantics for Handel-C},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {235--250},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80821-1},
doi = {10.1016/S1571-0661(04)80821-1},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ButterfieldW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Catano03,
author = {N{\'{e}}stor Cata{\~{n}}o},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {Slicing Event Spaces: Towards a Java Programs Checking Framework},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {59--74},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80809-0},
doi = {10.1016/S1571-0661(04)80809-0},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Catano03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DamFG03,
author = {Mads Dam and
Lars{-}{\AA}ke Fredlund and
Dilian Gurov},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {Formal Methods Research at {SICS} and {KTH:} An Overview},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {267--272},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80824-7},
doi = {10.1016/S1571-0661(04)80824-7},
timestamp = {Wed, 27 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DamFG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Damm03,
author = {Werner Damm},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {Recent Trends in the Development of Safety Critical Systems},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {140},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80814-4},
doi = {10.1016/S1571-0661(04)80814-4},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Damm03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Gnesi03,
author = {Stefania Gnesi},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {Formal Specification and Verification of Complex Systems},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {294--298},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80829-6},
doi = {10.1016/S1571-0661(04)80829-6},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Gnesi03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HammarbergN03,
author = {Jerker Hammarberg and
Simin Nadjm{-}Tehrani},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {Development of Safety-Critical Reconfigurable Hardware with Esterel},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {219--234},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80820-X},
doi = {10.1016/S1571-0661(04)80820-X},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HammarbergN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ImineU03,
author = {Abdessamad Imine and
Pascal Urso},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {Automatic Detection of Copies Divergence in Collaborative Editing
Systems},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {92--108},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80811-9},
doi = {10.1016/S1571-0661(04)80811-9},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ImineU03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KangasV03,
author = {Antero Kangas and
Antti Valmari},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {Verification with the Undefined: {A} New Look},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {124--139},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80813-2},
doi = {10.1016/S1571-0661(04)80813-2},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KangasV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Mateescu03,
author = {Radu Mateescu},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {On-the-Fly Verification using {CADP}},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {279--283},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80826-0},
doi = {10.1016/S1571-0661(04)80826-0},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Mateescu03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PelayoCRC03,
author = {Fernando L. Pelayo and
Fernando Cuartero and
Valent{\'{\i}}n Valero Ruiz and
Diego Cazorla},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {Analysis of the {MPEG-2} Encoding Algorithm with {ROSA1}},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {185--202},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80818-1},
doi = {10.1016/S1571-0661(04)80818-1},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PelayoCRC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PhilippsPSAKS03,
author = {Jan Philipps and
Alexander Pretschner and
Oscar Slotosch and
Ernst Aiglstorfer and
Stefan Kriebel and
Kai Scholl},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {Model-Based Test Case Generation for Smart Cards},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {170--184},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80817-X},
doi = {10.1016/S1571-0661(04)80817-X},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PhilippsPSAKS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RauchW03,
author = {Nicole Rauch and
Burkhart Wolff},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {41--58},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80808-9},
doi = {10.1016/S1571-0661(04)80808-9},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RauchW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RoubtsovaR03,
author = {Ella E. Roubtsova and
Serguei A. Roubtsov},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {UML-based Tool for Constructing Component Systems via Component Behaviour
Inheritance},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {141--156},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80815-6},
doi = {10.1016/S1571-0661(04)80815-6},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RoubtsovaR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SchieferdeckerV03,
author = {Ina Schieferdecker and
Theofanis Vassiliou{-}Gioles},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {Tool Supported Test Frameworks in {TTCN-3}},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {251--260},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80822-3},
doi = {10.1016/S1571-0661(04)80822-3},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SchieferdeckerV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZiemannG03,
author = {Paul Ziemann and
Martin Gogolla},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {Validating {OCL} Specifications with the {USE} Tool: An Example Based
on the {BART} Case Study},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {157--169},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80816-8},
doi = {10.1016/S1571-0661(04)80816-8},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZiemannG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2003,
editor = {Thomas Arts and
Wan J. Fokkink},
title = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
publisher = {Elsevier},
year = {2003},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/80/suppl/C},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-06-05 04:51 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
