Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre
type: Dataset
description: International audience
issued: 2026-05-05T19:55:00.112801
language: en
modified: 2026-05-05T19:55:00.112805
contact point: Organization
  fn: CCSD
keyword: conference-papers
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-escomputer-science-csembedded-systems
keyword: landing-gear
keyword: model-checking
keyword: real-time-systems
landing page: 1865-0929

Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre
type: Distribution
format: HTML
issued: 2026-05-05T19:55:00.122957
modified: 2026-05-05T19:55:00.102213
access URL: https://hal.science/hal-00967422

test_moissonnage_selune
type: Agent