Search - Archive ouverte HAL Access content directly

Filter your results

1 Résultat

Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior

Étienne André , Masaki Waga , Natuski Urabe , Ichiro Hasuo
14th NASA Formal Methods Symposium (NFM 2022), May 2022, Pasadena, United States. pp.470-488, ⟨10.1007/978-3-031-06773-0_25⟩
Conference papers hal-03690071v1