sequence-by-sequence verification
31Communicating sequential processes — In computer science, Communicating Sequential Processes (CSP) is a formal language for describing patterns of interaction in concurrent systems.[1] It is a member of the family of mathematical theories of concurrency known as process algebras, or …
32Keystroke dynamics — Keystroke dynamics, or typing dynamics, is the detailed timing information that describes exactly when each key was depressed and when it was released as a person is typing at a computer keyboard. Science of Keystroke Dynamics The behavioral… …
33Test logiciel — Test (informatique) En informatique, un test (anglicisme) désigne une procédure de vérification partielle d un système informatique. Le but en est de trouver un nombre maximum de comportements problématiques du logiciel, car il est impossible de… …
34Real number — For the real numbers used in descriptive set theory, see Baire space (set theory). For the computing datatype, see Floating point number. A symbol of the set of real numbers …
35Acide ribonucléique messager — Pour les articles homonymes, voir messager. Synthèse et maturation de l ARN messager dans une cellule eucaryote L acide ribonucléique messager, ARN messager ou ARNm est une copie transitoire d une portion de l …
36Instinct — Pour les articles homonymes, voir Instinct (homonymie). L’instinct est la totalité ou partie héréditaire et innée des comportements, tendances comportementales et mécanismes physiologiques sous jacents des animaux. Présent sous différentes formes …
37Procedure du compte a rebours du lancement de la navette spatiale americaine — Procédure du compte à rebours du lancement de la navette spatiale américaine La procédure du compte à rebours du lancement de la Navette spatiale américaine est une longue phase de contrôle de tous les organes vitaux du lanceur (motorisation,… …
38Procédure du compte à rebours du lancement de la navette spatiale américaine — La procédure du compte à rebours du lancement de la Navette spatiale américaine est une longue phase de contrôle de tous les organes vitaux du lanceur (motorisation, alimentation en énergie et en comburants, communications, systèmes de pilotage… …
39Procédure du compte à rebours du lancement d’une navette — Procédure du compte à rebours du lancement de la navette spatiale américaine La procédure du compte à rebours du lancement de la Navette spatiale américaine est une longue phase de contrôle de tous les organes vitaux du lanceur (motorisation,… …
40Test (informatique) — Pour les articles homonymes, voir Test. En informatique, un test désigne une procédure de vérification partielle d un système. Le but est de trouver un nombre maximum de comportements problématiques du logiciel, car il est impossible de prouver… …
