Formal Specification and Verification of Interactive Systems with Plasticity : Applications to Nuclear-Plant Supervision

Formal Specification and Verification of Interactive Systems with Plasticity : Applications to Nuclear-Plant Supervision

L'informatique ubiquitaire et la variété croissante des plates-formes et dispositifs changent les attentes des utilisateurs en termes d'interfaces utilisateur. Les systèmes devraient être en mesure de s'adapter à leur contexte d'utilisation, à savoir, la plate-forme (par exemple...

Full description

Bibliographic Details
Main Author:	Oliveira, Raquel Araùjo de
Other Authors:	Grenoble Alpes
Language:	en
Published:	2015
Subjects:	Ihm Adaptation Vérification Lnt Hci Verification 004
Online Access:	http://www.theses.fr/2015GREAM025/document

Similar Items

Aftertreatment Technologies for Diesel Engines: An Overview of the Combined Systems
by: Ferenc Martinovic, et al.
Published: (2021-05-01)

Hormesis: a fundamental concept in biology
by: Edward J. Calabrese
Published: (2014-04-01)

The prospective mathematical idea satisfying both radiation hormesis under low radiation doses and linear non-threshold theory under high radiation doses
by: Katsuhito Kino
Published: (2020-02-01)

Variant Signal Peptides of Vaccine Antigen, FHbp, Impair Processing Affecting Surface Localization and Antibody-Mediated Killing in Most Meningococcal Isolates
by: Ronni A. G. da Silva, et al.
Published: (2019-12-01)

Corrigendum: Variant Signal Peptides of Vaccine Antigen, FHbp, Impair Processing Affecting Surface Localization and Antibody-Mediated Killing in Most Meningococcal Isolates
by: Ronni A. G. da Silva, et al.
Published: (2020-02-01)

Gas-Phase Phosphorous Poisoning of a Pt/Ba/Al2O3 NOx Storage Catalyst
by: Rasmus Jonsson, et al.
Published: (2018-04-01)

Optimization of the Washcoat Slurry for Hydrotalcite-Based LNT Catalyst
by: Yue Zhu, et al.
Published: (2019-08-01)

Black rain in Hiroshima: a critique to the Life Span Study of A-bomb survivors, basis of the linear no-threshold model
by: Shizuyo Sutou
Published: (2020-01-01)

Simultaneous Elimination of Soot and NOX through Silver-Barium Based Catalytic Materials
by: Ganesh Chandra Dhal, et al.
Published: (2017-04-01)

Zugang zu Sozialleistungen in Taiwan
Published: (2021)

Plasticité de l'interaction Homme-Machine : présentation à l'utilisateur, une question de compromis
by: Bouzit, Sara
Published: (2017)

BaTi<sub>0.8</sub>B<sub>0.2</sub>O<sub>3</sub> (B = Mn, Fe, Co, Cu) LNT Catalysts: Effect of Partial Ti Substitution on NOx Storage Capacity
by: Craig Aldridge, et al.
Published: (2019-04-01)

Quantitative Verification and Synthesis
by: Von Essen, Christian
Published: (2014)

Martian Residents: Mass Media and Ramsar High Background Radiation Areas
by: Abbasi S., et al.
Published: (2019-08-01)

Low-dose radiation from A-bombs elongated lifespan and reduced cancer mortality relative to un-irradiated individuals
by: Shizuyo Sutou
Published: (2018-12-01)

Safety of lacto‐N‐tetraose (LNT) as a novel food pursuant to Regulation (EU) 2015/2283
by: EFSA Panel on Nutrition, Novel Foods and Food Allergens (NDA), et al.
Published: (2019-12-01)

Thermal verification of programs
by: Koskinen, Eric John
Published: (2013)

Concurrent verification for sequential programs
by: Wickerson, John Peter
Published: (2013)

A critical look at UNEP reports concerning depleted uranium on Yugoslav territory
by: Ninković Marko M., et al.
Published: (2005-01-01)

Authors’ response (December 8, 2017) to the letter to the Editor concerning the paper “Occupational exposure to radon for underground tourist routes in Poland: Doses to lung and the risk of developing lung cancer”
by: Katarzyna Walczak, et al.
Published: (2018-10-01)

Formal Verification of Voting and Auction Protocols : From Privacy to Fairness and Verifiability
by: Dreier, Jannik
Published: (2013)

Klägerfreundlichkeit als Prinzip des Sozialgerichtsverfahrens Ein deutsch-slowenischer Rechtsvergleich
Published: (2021)

On verification and controller synthesis for probabilistic systems at runtime
by: Ujma, Mateusz
Published: (2015)

Formal verification of the Pastry protocol
by: Lu, Tianxiang
Published: (2013)

Formal Verification of Automotive Design in Compliance With ISO 26262 Design Verification Guidelines
by: Ghada Bahig, et al.
Published: (2017-01-01)

Formal Specification and Verification of Data-Centric Web Services
by: Moustafa, Iman Saleh
Published: (2014)

Exploration et vérification : études comportementales et neurophysiologiques du cortex préfrontal
by: Stoll, Frederic M.
Published: (2014)

THE OPTIMIZATION OF THE EXPLOSIVE FORCE TRAINING IN VOLLEYBALL
by: Muresan Alexandru
Published: (2013-12-01)

Methods and tools for the integration of formal verification in domain-specific languages
by: Zalila, Faiez
Published: (2014)

Dynamic Adaptive Multimesh Refinement for Coupled Physics Equations Applicable to Nuclear Engineering
by: Dugan, Kevin
Published: (2013)

The Importance of Assuring Algorithm-based Verification Agents
by: Haugen Odd Ivar
Published: (2019-01-01)

Catalysts as Sensors—A Promising Novel Approach in Automotive Exhaust Gas Aftertreatment
by: Ralf Moos
Published: (2010-07-01)

Verification of DPRK Nuclear Disarmament: The Pros and Cons of Non-Nuclear-Weapon States (specifically, the ROK) Participating in This Verification Program
by: John Carlson
Published: (2019-07-01)

Automatic Extraction of Program Models for Formal Software Verification
by: de Carvalho Gomes, Pedro
Published: (2015)

Formal verification of secured routing protocols
by: Arnaud, Mathilde
Published: (2011)

On the Implementation of a Formal Method for Verification of Scalable Cache Coherent Systems
by: Vladimir Burenkov
Published: (2018-10-01)

Formal verification of computer controlled systems
by: Harutunian, Shant
Published: (2008)

Formal verification of computer controlled systems
by: Harutunian, Shant
Published: (2011)

Evaluation of program specification and verification systems
by: Ubhayakar, Sonali S.
Published: (2012)

Flexibilité des processus de développement à la conception et à l'exécution : application à la plasticité des interfaces homme-machine
by: Ceret, Eric
Published: (2014)