History


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 | next | last

Result 1 to 16 of 16 total

Dependable computing: an overview. (English)
Theor. Comput. Sci. 290, No. 2, 1115-1126 (2003).
WorldCat.org
1
Design of dependable computing systems. (English)
Boston: Kluwer Academic Publishers. xix, 672 p. EUR 140.00; \$ 129.00; \sterling 88.00 (2002).
WorldCat.org
2
Identification of evolutionary sequential systems. II: Genetic simulation experiments. (English)
Commun. Numer. Methods Eng. 17, No.9, 631-637 (2001).
WorldCat.org
3
Identification of evolutionary sequential systems. I: Unified approach. (English)
Commun. Numer. Methods Eng. 17, No.9, 623-630 (2001).
WorldCat.org
4
Genetic algorithms for the identification of the generalised Erlang laws parameters used in systems dependability studies. (English)
Dobnikar, Andrej (ed.) et al., Artificial neural nets and genetic algorithms. ICANNGA ’99. Proceedings of the 4th international conference held in Protorož, Slovenia, 1999. Wien: Springer. 214-219 (1999).
WorldCat.org
5
Genetic simulation for finite state machine identification (English)
Annual Simulation Symposium, 118-125 (1999).
WorldCat.org
6
UML framework for the design of real-time robot controllers (English)
Euro-Par, 511-514 (1999).
WorldCat.org
7
Embedded systems applications. ATW ’96 Europe, July 8‒10, 1996, Toulouse, France. (English)
Boston: Kluwer Academic Publishers. xi, 324 p. Dfl 315.00; \$ 150.00; \sterling 102.00 (1997).
WorldCat.org
8
Identification of sequential systems: A unified approach. (Identification des systèmes séquentiels: Une approche unifée.) (English)
RAIRO, Tech. Sci. Inf. 14, No. 7, 809-837 (1995).
Classification: F.1.1 I.2.6 C.0
WorldCat.org
9
Hazard analysis of structured sequential systems (English)
Annual Simulation Symposium, 311- (1995).
WorldCat.org
10
Contrôle de l’acces à un bus partage: Les Arbitres. (French)
RAIRO, Autom. Syst. Anal. Control 17, 359-403 (1983).
WorldCat.org
11
Cascaded self-checking bus arbiters for multicomputer systems (English)
IEEE Real-Time Systems Symposium, 37-42 (1982).
WorldCat.org
12
Unified approach to the study of self-checking systems. (English)
Digital Processes 3, 289-306 (1977).
WorldCat.org
13
On-set realization of fail-safe sequential machines. (English)
IEEE Trans. Comput. 23, No. 02, 133-138 (1974).
WorldCat.org
14
On-set realization of fail-safe sequential machines. (English)
IEEE Trans. Comput. 23, 133-138 (1974).
WorldCat.org
15
Realisation de circuits séquentiels asynchrones autotestables. (French)
Rev. Franc. Automat. Inform. Rech. Operat. 7, J-3, 75-92 (1973).
WorldCat.org
16
first | previous | 1 | next | last

Result 1 to 16 of 16 total

Valid XHTML 1.0 Transitional Valid CSS!