-
A Binomial Model for Radiated Immunity Measurements
International audience -
Model Inference and Testing
Chapter 3 -
AN INVESTIGATION OF FAILURE TYPES IN HIGH-STRENGTH STEEL RESISTANCE SPOT WELDS
International audience -
Finding Software Vulnerabilities by Smart Fuzzing
International audience -
Discrimination based on place of residence and access to employment
The purpose of this study is to assess the degree of employment discrimination against young people in the Ile-de-France region according to their place of residence... -
Scheduling heuristics for on board sequential air conflict solving
International audience -
La discrimination à l'entrée des établissements scolaires privés : Les résult...
Chaque année, l'Etat et les collectivités territoriales allouent un budget non négligeable au financement de l'enseignement privé élémentaire et secondaire sous... -
Functional testing of hybrid properties
Hybrid systems posess a continuous and discrete behavior. This behavior is partially determined by temporal constraints, and/or interactions of the system with a... -
Validation de métriques de testabilité logicielle pour les programmes objets
The most used validation method for software is testing. Testing process consists of executing the program by selecting a set of data and observing the outputs of the... -
Thermo-Mechanical Characterization and Integrity Checking of Packages and Mov...
ISBN: 0-9767985-2-2 -
On the fly test generation for real time protocols
Colloque avec actes et comité de lecture. -
Verification method of interoperability for real time systems
Colloque avec actes et comité de lecture. internationale. -
Ahead of Time Static Analysis for Automatic Generation of Debugging Interface...
International audience
