Communications in Computer and Information Science - ABZ 2014: The Landing Gear Case Study
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319075112, 9783319075129

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Landing Gear System: An ASM-Based Solution for the ABZ Case Study

Communications in Computer and Information Science - ABZ 2014: The Landing Gear Case Study ◽

10.1007/978-3-319-07512-9_10 ◽

2014 ◽

pp. 142-147 ◽

Cited By ~ 5

Author(s):

Felix Kossak

Keyword(s):

Landing Gear ◽

Gear System

Download Full-text

Modeling and Analyzing Using ASMs: The Landing Gear System Case Study

Communications in Computer and Information Science - ABZ 2014: The Landing Gear Case Study ◽

10.1007/978-3-319-07512-9_3 ◽

2014 ◽

pp. 36-51 ◽

Cited By ~ 2

Author(s):

Paolo Arcaini ◽

Angelo Gargantini ◽

Elvinia Riccobene

Keyword(s):

Landing Gear ◽

Gear System

Download Full-text

Modeling a Landing Gear System in Event-B

Communications in Computer and Information Science - ABZ 2014: The Landing Gear Case Study ◽

10.1007/978-3-319-07512-9_6 ◽

2014 ◽

pp. 80-94 ◽

Cited By ~ 7

Author(s):

Amel Mammar ◽

Régine Laleau

Keyword(s):

Landing Gear ◽

Gear System

Download Full-text

The Landing Gear Case Study in Hybrid Event-B

Communications in Computer and Information Science - ABZ 2014: The Landing Gear Case Study ◽

10.1007/978-3-319-07512-9_9 ◽

2014 ◽

pp. 126-141 ◽

Cited By ~ 8

Author(s):

Richard Banach

Keyword(s):

Landing Gear ◽

Gear Case ◽

Hybrid Event

Download Full-text

Context-Aware Verification of a Landing Gear System

Communications in Computer and Information Science - ABZ 2014: The Landing Gear Case Study ◽

10.1007/978-3-319-07512-9_4 ◽

2014 ◽

pp. 52-65 ◽

Cited By ~ 4

Author(s):

Philippe Dhaussy ◽

Ciprian Teodorov

Keyword(s):

Landing Gear ◽

Gear System ◽

Context Aware

Download Full-text

Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System

Communications in Computer and Information Science - ABZ 2014: The Landing Gear Case Study ◽

10.1007/978-3-319-07512-9_2 ◽

2014 ◽

pp. 19-35 ◽

Cited By ~ 7

Author(s):

Wen Su ◽

Jean-Raymond Abrial

Keyword(s):

Landing Gear ◽

Gear System ◽

Industrial System ◽

Aircraft Landing ◽

Aircraft Landing Gear ◽

System Approaches

Download Full-text

Modeling an Aircraft Landing System in Event-B

Communications in Computer and Information Science - ABZ 2014: The Landing Gear Case Study ◽

10.1007/978-3-319-07512-9_12 ◽

2014 ◽

pp. 154-159 ◽

Cited By ~ 6

Author(s):

Dominique Méry ◽

Neeraj Kumar Singh

Keyword(s):

Aircraft Landing

Download Full-text

Validation of the ABZ Landing Gear System Using ProB

Communications in Computer and Information Science - ABZ 2014: The Landing Gear Case Study ◽

10.1007/978-3-319-07512-9_5 ◽

2014 ◽

pp. 66-79 ◽

Cited By ~ 12

Author(s):

Dominik Hansen ◽

Lukas Ladenberger ◽

Harald Wiegard ◽

Jens Bendisposto ◽

Michael Leuschel

Keyword(s):

Landing Gear ◽

Gear System

Download Full-text

Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre

Communications in Computer and Information Science - ABZ 2014: The Landing Gear Case Study ◽

10.1007/978-3-319-07512-9_8 ◽

2014 ◽

pp. 110-125 ◽

Cited By ~ 3

Author(s):

Bernard Berthomieu ◽

Silvano Dal Zilio ◽

Łukasz Fronc

Keyword(s):

Model Checking ◽

Real Time ◽

Landing Gear ◽

Gear System ◽

Aircraft Landing ◽

Aircraft Landing Gear

Download Full-text

Co-simulation Environment for Rodin: Landing Gear Case Study

Communications in Computer and Information Science - ABZ 2014: The Landing Gear Case Study ◽

10.1007/978-3-319-07512-9_11 ◽

2014 ◽

pp. 148-153 ◽

Cited By ~ 3

Author(s):

Vitaly Savicks ◽

Michael Butler ◽

John Colley

Keyword(s):

Landing Gear ◽

Simulation Environment ◽

Gear Case

Download Full-text

Communications in Computer and Information Science - ABZ 2014: The Landing Gear Case StudyLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Landing Gear System: An ASM-Based Solution for the ABZ Case Study

Modeling and Analyzing Using ASMs: The Landing Gear System Case Study

Modeling a Landing Gear System in Event-B

The Landing Gear Case Study in Hybrid Event-B

Context-Aware Verification of a Landing Gear System

Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System

Modeling an Aircraft Landing System in Event-B

Validation of the ABZ Landing Gear System Using ProB

Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre

Co-simulation Environment for Rodin: Landing Gear Case Study

Communications in Computer and Information Science - ABZ 2014: The Landing Gear Case Study
Latest Publications