default search action

combined dblp search
author search
venue search
publication search

ask others

4th ABZ 2014: Toulouse, France

> Home > Conferences and Workshops > ABZ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/asm/2014cst
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/2014cst
Frédéric Boniol, Virginie Wiels, Yamine Aït Ameur, Klaus-Dieter Schewe:
ABZ 2014: The Landing Gear Case Study - Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings. Communications in Computer and Information Science 433, Springer 2014, ISBN 978-3-319-07511-2
- view
  authority control:
- export record
  dblp key:
  - conf/asm/BoniolW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/BoniolW14
Frédéric Boniol, Virginie Wiels:
The Landing Gear System Case Study. 1-18
- view
  authority control:
- export record
  dblp key:
  - conf/asm/SuA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/SuA14
Wen Su, Jean-Raymond Abrial:
Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System. 19-35
- view
  authority control:
- export record
  dblp key:
  - conf/asm/ArcainiGR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/ArcainiGR14
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study. 36-51
- view
  authority control:
- export record
  dblp key:
  - conf/asm/DhaussyT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/DhaussyT14
Philippe Dhaussy, Ciprian Teodorov:
Context-Aware Verification of a Landing Gear System. 52-65
- view
  authority control:
- export record
  dblp key:
  - conf/asm/HansenLWBL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/HansenLWBL14
Dominik Hansen, Lukas Ladenberger, Harald Wiegard, Jens Bendisposto, Michael Leuschel:
Validation of the ABZ Landing Gear System Using ProB. 66-79
- view
  authority control:
- export record
  dblp key:
  - conf/asm/MammarL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/MammarL14
Amel Mammar, Régine Laleau:
Modeling a Landing Gear System in Event-B. 80-94
- view
  authority control:
- export record
  dblp key:
  - conf/asm/ArcainiGR14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/ArcainiGR14a
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module. 95-109
- view
  authority control:
- export record
  dblp key:
  - conf/asm/BerthomieuDF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/BerthomieuDF14
Bernard Berthomieu, Silvano Dal-Zilio, Lukasz Fronc:
Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre. 110-125
- view
  authority control:
- export record
  dblp key:
  - conf/asm/Banach14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/Banach14a
Richard Banach:
The Landing Gear Case Study in Hybrid Event-B. 126-141
- view
  authority control:
- export record
  dblp key:
  - conf/asm/Kossak14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/Kossak14
Felix Kossak:
Landing Gear System: An ASM-Based Solution for the ABZ Case Study. 142-147
- view
  authority control:
- export record
  dblp key:
  - conf/asm/SavicksBC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/SavicksBC14
Vitaly Savicks, Michael J. Butler, John Colley:
Co-simulation Environment for Rodin: Landing Gear Case Study. 148-153
- view
  authority control:
- export record
  dblp key:
  - conf/asm/MeryS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/MeryS14
Dominique Méry, Neeraj Kumar Singh:
Modeling an Aircraft Landing System in Event-B. 154-159

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.