35 citations
- Thales (Australia)AU11 papers
- Centre National de la Recherche ScientifiqueFR9 papers
- Thales (France)FR7 papers
- Université Paris-SaclayFR6 papers
- Laboratoire Albert FertFR3 papers
- Laboratoire de Physique de l'Ecole Normale SupérieureFR3 papers
- Sorbonne UniversitéFR3 papers
- Thales Alenia Space (France)3 papers
- Université Paris Sciences et LettresFR3 papers
- Clermont UniversitéFR2 papers
- III V LabFR2 papers
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
Showing 2016Show all
2 papers · 1 filter
cs.SE2016★ 1 cited
From Event-B to Verified C via HLL
Ning Ge, Arnaud Dieumegard, Eric Jenn +1
This work addresses the correct translation of an Event-B model to C code via an intermediate formal language, HLL. The proof of correctness follows two main steps. First, the fina…
physics.plasm-ph2016★ 2 cited
On frequency and time domain models of traveling wave tubes
Stéphane Théveny, Frédéric André, Yves Elskens
We discuss the envelope modulation assumption of frequency-domain models of traveling wave tubes (TWTs) and test its consistency with the Maxwell equations. We compare the predicti…