critic < critical < criticality

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by critical

Number of relevant bibliographic references: 58.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000031 (2016-05-09)	Mohab Safey El Din ; Pierre-Jean Spaenlehauer [France]	Critical Point Computations on Smooth Varieties: Degree and Complexity bounds
000118 (2016)	Bernardetta Addis [France] ; Roberto Aringhieri [Italie] ; Andrea Grosso [Italie] ; Pierre Hosteins [Italie]	Hybrid constructive heuristics for the critical node problem
000829 (2014-12-15)	Gerald Lüttgen [Allemagne] ; Stephan Merz [France]	Editorial: Special Issue of Automated Verification of Critical Systems
000831 (2014-12-15)	Gerald Lüttgen [Allemagne] ; Stephan Merz [France]	Science of Computer Programming Special Issue: Automated Verification of Critical Systems
000D46 (2014)	Pierre-Jean Spaenlehauer [France]	On the Complexity of Computing Critical Points with Gröbner Bases
000E92 (2013-12-30)	Valérie Berthé [France] ; Damien Jamet [France] ; Timo Jolivet [France] ; Xavier Provençal [France]	Critical connectedness of thin arithmetical discrete planes
000F20 (2013-12)	Kévin Roussel [France] ; Ye-Qiong Song [France]	A critical analysis of Contiki's network stack for integrating new MAC protocols
001291 (2013-03)	Valérie Berthé [France] ; Damien Jamet [France] ; Timo Jolivet [France] ; Xavier Provençal [France]	Critical Connectedness of Thin Arithmetical Discrete Planes
001611 (2013)	Valérie Berthé [France] ; Damien Jamet [France] ; Timo Jolivet [France, Finlande] ; Xavier Provençal [France]	Critical Connectedness of Thin Arithmetical Discrete Planes
001993 (2012-08-23)	Dominique Méry [France] ; Neeraj Kumar Singh [France]	Critical systems development methodology using formal techniques
001B06 (2012-06)	Dawood Khan [France] ; Luca Santinelli [France] ; Liliana Cucu-Grosjean [France]	Modeling Uncertainties in Safety-Critical Real-Time Systems: A Probabilistic Component-Based Analysis
001C80 (2012)	Nikolaos Vlassopoulos [France] ; Nazim Fatès [France] ; Hugues Berry [France] ; Bernard Girau [France]	Large-scale Simulations on FPGAs: Finding the Asymptotic Critical Threshold of the Greenberg-Hastings Cellular Automata
001E44 (2012)	Kosuke Izumi [États-Unis] ; Laura K. Conlin [États-Unis] ; Donna Berrodin [États-Unis] ; Christopher Fincher [États-Unis] ; Alisha Wilkens [États-Unis] ; Chad Haldeman-Englert [États-Unis] ; Sulagna C. Saitta [États-Unis] ; Elaine H. Zackai [États-Unis] ; Nancy B. Spinner [États-Unis] ; Ian D. Krantz [États-Unis]	Duplication 12p and Pallister–Killian syndrome: A case report and review of the literature toward defining a Pallister–Killian syndrome minimal critical region
002119 (2011-09-16)	Elizabeta Fourneret [France] ; Fabrice Bouquet [France]	UML/OCL based impact analysis to test evolving critical software
002412 (2011-03-21)	Elizabeta Fourneret [France] ; Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Stéphane Debricon [France]	Selective Test Generation Method for Evolving Critical Systems
002500 (2011)	Hugues Berry [France] ; Nazim Fatès [France]	Robustness of the Critical Behaviour in the Stochastic Greenberg-Hastings Cellular Automaton Model
002607 (2011)	Atif Mashkoor [France] ; Jean-Pierre Jacquot [France]	Utilizing Event-B for domain engineering: a critical analysis
002717 (2011)	Djillali Annane [France] ; Marion Antona [France] ; Blandine Lehmann [France] ; Cecile Kedzia [France] ; Sylvie Chevret [France]	Designing and conducting a randomized trial for pandemic critical illness: the 2009 H1N1 influenza pandemic
002751 (2011)	Kristof Steurbaut [Belgique] ; Filip De Turck [Belgique]	Autonomous Platform for Life-Critical Decision Support in the ICU
002F04 (2010)	Nazim Fatès [France]	Critical phenomena in cellular automata: perturbing the update, the transitions, the topology
003054 (2010)	Stefano Marrone [Italie] ; Camilla Papa [Italie] ; Valeria Vittorini [Italie]	Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "critical" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "critical" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Title.i
   |clé=    critical
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022