Communication invite. 6mes Assises Recherche en Qualit
Validation de la tolrance aux fautes : vers l'intgration de mthodes analytique et exprimentale
Concepts et outils pour les systmes de production
Frequentist and Bayesian coverage estimations for stratified fault-injection
27th Annual International Symposium on Fault-Tolerant Computing (FTCS-27)
Mthode des tats fictifs dans les modles de sret de fonctionnement
Processing of confidential information in distributed systems by fragmentation
Modlisation et valuation globale de la sret de fonctionnement du CAUTRA
Towards a framework for testing B models
Carrefours Recherche et Dveloppement Technologique. Informatique et Electronique
Validation des systmes tolrants aux fautes
A hierarchical structure for control of discrete events systems and monitoring of process failures
This ontology contains information detailing publications held by LAAS-CNRS
Publication export from LAAS-CNRS
6th IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems (FTDCS'97)
1997 IEEE Symposium on Security and Privacy
A metaobject architecture for fault tolerant distributed systems: the FRIENDS approach
Early experimental verification of fault tolerance: the VHDL-based fault injection tool MEFISTO-L
Experimenting with quantitative evaluation tools for monitoring operational security
An authorization scheme for distributed object systems
6th IFIP International Conference on Dependable Computing for Critical Application (DCCA-6)
Towards a statistical approach to testing object-oriented programs
Can we rely on COTS microkernels for building fault-tolerant systems?
Coverage estimation methods for stratified fault-injection
1st International Conference on Mathematical Methods in Reliability (MMR'97)
Systmes srs de fonctionnement : tolrance aux fautes par protocole mtaobjets
SQUALE Definition of draft criteria for the assessment of dependable systems
Computer Communications. Special Issue on Distributed Computing Systems: New Trends
SQUALE: description of the underground automatic pilot system
en_US
website
Turning Shoe Information to Knowledge of Technology and Deals
Take a look at Nike and Adidas Shoe technology, and use Finish Line coupons to save money on athletic shoes and performance apparel
Aktors
Comparison of the communication latency for an optical bus and for several 2D electronic network topologies
A modular and incremental approach for building complex stochastic Petri net models
Qualitative and quantitative reliability assessment
Colloque International "Outils Informatiques, Ingnierie des Systmes et Comptitivit"
Fiabilit du logiciel : de la collecte des donnes l'valuation probabiliste
Picosecond photodiffraction in semiconductor multiquantum wells and microcavities
International Workshop on New Technologies, Interconnects and Communications in Distributed and Parallel System
L'Objet. Logiciel, base de donnes, rseaux
Optimisation de la stratgie de tests de validation d'une spcification SAO
Low latency optical bus for distributed multiprocessor systems
Tolrance aux fautes et pilotage automatique des lignes de mtro. Rapport d'avancement N2
11th International Parallel Processing Symposium. Workshop on Optics and Computer Science (WOCS'97)
Sret de fonctionnement et qualit du logiciel
Cpadus Editions, Coordination : JCHennet