IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability

von André, Étienne
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)

Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems

von Ghosh, Bineet
Veröffentlicht in IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems (42. : 2022 : Lucca) Formal techniques for distributed objects, components, and systems (2022)

Zone Extrapolations in Parametric Timed Automata

von Arcile, Johan
Veröffentlicht in NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods (2022)

Modelling Timed Concurrent Systems Using Activity Diagram Patterns

von André, Étienne
Veröffentlicht in KSE (6. : 2014 : Hanoi) Knowledge and systems engineering (2015)

Formalising Concurrent UML State Machines Using Coloured Petri Nets

von Andre, Etienne
Veröffentlicht in KSE (6. : 2014 : Hanoi) Knowledge and systems engineering (2015)

Formal modeling and analysis of timed systems : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, proceedings

Veröffentlicht 2019

Automated technology for verification and analysis : 21st international symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings

Automated technology for verification and analysis

Veröffentlicht 2023

Automated technology for verification and analysis

Veröffentlicht 2023

Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior

von André, Étienne
Veröffentlicht in NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods (2022)

Tableaux systématiques des animaux mollusques classeś en familles naturelles dans lesquels on a établi la concordance de tous les systèmes : suivis d'un prodrome général pour tou...

von Férussac, André-Étienne-Just-Pascal-Joseph-François D'Audebard de
Veröffentlicht 1822

Monographie des espéces vivantes et fossiles du genre Mélanopside : Melanopsis, et observations gèologiques à leur sujet

von Férussac, André-Étienne-Just-Pascal-Joseph-François D'Audebard de
Veröffentlicht 1823

Coup D'Œil Sur L'Andalousie

von Férussac, André-Étienne-Just-Pascal-Joseph-François D'Audebard de
Veröffentlicht in Férussac, André-Étienne-Just-Pascal-Joseph-François D'Audebard de, 1786 - 1836 Journal Historique Du Siège De Saragosse (1816)

Notice sur l'animal du genre Argonaute, Argonauta Linné

von Férussac, André-Étienne-Just-Pascal-Joseph-François D'Audebard de
Veröffentlicht 1825

Notice sur les Éthéries trouvées dans le Nil par Càilliaud, et sur quelques autres coquilles recueillies ... en Égypte, en Nubie et en Éthiopie

von Férussac, André-Étienne-Just-Pascal-Joseph-François D'Audebard de
Veröffentlicht 1823

Notice sur des terrains d'eau douce observés en divers lieux, et sur les fossiles terrestres et fluviatiles : Lue à l'Institut ...

von Férussac, André-Étienne-Just-Pascal-Joseph-François D'Audebard de
Veröffentlicht 1812

Mémoires Géologiques Sur Les Terreins Formés Sous L'eau Douce Par Les Débris Fossiles Des Mollusques Vivant Sur La Terre Ou Dans L'eau Non Salée

von Férussac, André-Étienne-Just-Pascal-Joseph-François D'Audebard de
Veröffentlicht 1814

Notice sur les terreins d'eau douce observés en divers lieux, et sur les fossiles terrestres et fluviatiles

von Férussac, André-Étienne-Just-Pascal-Joseph-François D'Audebard de
Veröffentlicht 1812

Plan sommaire d'un traité de géograpie et de statistique : à l'usage des officirs des états-majors de l'armee

von Férussac, André-Étienne-Just-Pascal-Joseph-François D'Audebard de
Veröffentlicht 1821

Notice sur cadix et sur son ile

von Férussac, André-Étienne-Just-Pascal-Joseph-François D'Audebard de
Veröffentlicht 1823