-
1
-
-
0000050873
-
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
-
Grossman R. L., Nerode A., Ravn A. P., Rischel H., editors Springer-Verlag
-
Alur R., Courcoubetis C., Henzinger T.A., Ho P.H., "Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems", Grossman R. L., Nerode A., Ravn A. P., Rischel H., editors, Hybrid Systems I, Lecture Notes in Computer Science, Springer-Verlag, vol.736, 1993, p. 209-229.
-
(1993)
Hybrid Systems I, Lecture Notes in Computer Science
, vol.736
, pp. 209-229
-
-
Alur, R.1
Courcoubetis, C.2
Henzinger, T.A.3
Ho, P.H.4
-
2
-
-
0029637354
-
The algorithmic analysis of hybrid systems
-
Alur R., Courcoubetis C., Halbwachs N., Henzinger T. A., Ho P. H., Nicollin X., Olivero A., Sifakis J., Yovine S., "The algorithmic analysis of hybrid systems", Theoretical Computer Science, vol.138, 1995, p. 3-34.
-
(1995)
Theoretical Computer Science
, vol.138
, pp. 3-34
-
-
Alur, R.1
Courcoubetis, C.2
Halbwachs, N.3
Henzinger, T.A.4
Ho, P.H.5
Nicollin, X.6
Olivero, A.7
Sifakis, J.8
Yovine, S.9
-
4
-
-
77954247394
-
Simulation hybride, méthode de modélisation intégrant phénomènes continus et discrets
-
Arcachon, France
-
e colloque national de Fiabilité et maintenabilité- Lambda-mu 11, Arcachon, France, 1998, p. 126-136.
-
(1998)
e Colloque National de Fiabilité et Maintenabilité-Lambda-mu 11
, pp. 126-136
-
-
Chabot, J.1
Ducamp, L.2
Mattei, J.-M.3
Dutuit, Y.4
Hutinet, T.5
Joulain, P.6
-
5
-
-
0003200332
-
Processus stochastiques et fiabilité des systèmes
-
Springer
-
Cocozza-Thivent C., « Processus stochastiques et fiabilité des systèmes », Mathématiques & Applications, vol.28, Springer, 1997.
-
(1997)
Mathématiques & Applications
, vol.28
-
-
Cocozza-Thivent, C.1
-
7
-
-
0030173437
-
The DYLAM approach for the dynamic reliability analysis of systems
-
Cojazzi G., "The DYLAM approach for the dynamic reliability analysis of systems", Reliability Engineering and System Safety, vol.52, 1996, p. 279-296.
-
(1996)
Reliability Engineering and System Safety
, vol.52
, pp. 279-296
-
-
Cojazzi, G.1
-
8
-
-
77954258689
-
Dynamic reliability: A new model
-
Lyon, France
-
Dufour F., Dutuit Y., "Dynamic reliability: A new model", Lambda-mu 13-ESREL European Conference, Lyon, France, 2002, p. 350-353.
-
(2002)
Lambda-mu 13-ESREL European Conference
, pp. 350-353
-
-
Dufour, F.1
Dutuit, Y.2
-
11
-
-
77954287152
-
-
Projet 6/2000 de l'ISdF, Tâche n° 1: établissement de l'état de l'art en fiabilité dynamique université libre de Bruxelles
-
Kermish C., Labeau P.E., Approche dynamique de la fiabilité des systèmes, Projet 6/2000 de l'ISdF, Tâche n° 1: établissement de l'état de l'art en fiabilité dynamique, 2000, université libre de Bruxelles.
-
Approche Dynamique de la Fiabilité des Systèmes
, pp. 2000
-
-
Kermish, C.1
Labeau, P.E.2
-
12
-
-
0033715322
-
Dynamic reliability: Towards an integrated platform for probabilistic risk assessment
-
Labeau P.E., Smidts C., Swaminathan S., "Dynamic reliability: Towards an integrated platform for probabilistic risk assessment", Reliability Engineering and System Safety, vol.68, 2000, p. 219-254.
-
(2000)
Reliability Engineering and System Safety
, vol.68
, pp. 219-254
-
-
Labeau, P.E.1
Smidts, C.2
Swaminathan, S.3
-
13
-
-
0343453847
-
A concept paper on Dynamic Reliability via Monte Carlo simulation
-
Marseguerra M., Zio E., Devoogh J., Labeau P.E., "A concept paper on Dynamic Reliability via Monte Carlo simulation", Mathematics and Computers in Simulation, vol.47, 1998, p. 371-382.
-
(1998)
Mathematics and Computers in Simulation
, vol.47
, pp. 371-382
-
-
Marseguerra, M.1
Zio, E.2
Devoogh, J.3
Labeau, P.E.4
-
17
-
-
85108385797
-
Modélisation et simulation d'un système dynamique hybride pour calculer sa fiabilité dynamique en utilisant le toolbox Scicos de Scilab
-
Tanger, Maroc, 2007a
-
e édition du congrès international pluridisciplinaire Qualita 2007, Tanger, Maroc, 2007a, p. 311-318.
-
(2007)
e Édition du Congrès International Pluridisciplinaire Qualita
, pp. 311-318
-
-
Pérez Castaneda, G.A.1
Aubry, J.-F.2
Brinzei, N.3
-
19
-
-
0028197894
-
Risk assessment for dynamic systems: An overview
-
Siu N., "Risk assessment for dynamic systems: An overview", Reliability Engineering and System Safety, vol.43, 1994, p. 43-73.
-
(1994)
Reliability Engineering and System Safety
, vol.43
, pp. 43-73
-
-
Siu, N.1
-
20
-
-
0026890894
-
Probabilitic reactor dynamics-II: A Monte Carlo study of a fast reactor transient
-
Smidts C., Devooght J., "Probabilitic reactor dynamics-II: A Monte Carlo study of a fast reactor transient", Nuclear Science Engineering, vol.111, 1992, p. 241-256.
-
(1992)
Nuclear Science Engineering
, vol.111
, pp. 241-256
-
-
Smidts, C.1
Devooght, J.2
-
21
-
-
34548036747
-
Modeling dynamic reliability using dynamic Bayesian networks
-
Tchangani A.P., Noyes D., "Modeling dynamic reliability using dynamic Bayesian networks", Journal européen des systèmes automatisés, vol.40, n° 8, 2006, p. 911-935.
-
(2006)
Journal Européen des Systèmes Automatisés
, vol.40
, Issue.8
, pp. 911-935
-
-
Tchangani, A.P.1
Noyes, D.2
|