Dispositifs de commande en temps réel :: SCD d'Orléans

Dispositifs de commande en temps réel

Dispositifs de commande en temps réel

Gardado en:

Detalles Bibliográficos
Autor Principal:	Toulotte, Jean-Marc
Formato:	Livre papier
Idioma:	Français
Publicado:	Paris ; Bruxelles ; Montréal : Dunod : Bordas DL 1975.
Series:	Dunod université. Automatique-informatique
Sujets:	Ordinateurs Temps réel (informatique)
Autres localisations:	Voir dans le Sudoc

Títulos similares

Systèmes temps réel de contrôle-commande : conception et implémentation
por: Cottet, Francis, et autres
Publicado: (2005)

Solutions temps réel sous Linux
por: Blaess, Christophe
Publicado: (2019)

Solutions en temps réel sous Linux
por: Blaess, Christophe
Publicado: (2019)

Temps réel
Publicado: (2003)

Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle
por: Cottet, Francis, et autres
Publicado: (2014)

Approche du temps réel industriel
por: De Geeter, Jean-Marie
Publicado: (1999)

Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle
por: Cottet, Francis, et autres
Publicado: (2014)

Ordonnancement temps réel : cours et exercices corrigés
por: Cottet, Francis, et autres
Publicado: (2000)

Gestion des processus industriels temps réel : des interruptions électroniques aux exécutifs multitâches
por: Montois, Jean-Jacques, ingénieur
Publicado: (1999)

Introduction aux systèmes embarqués temps réel : conception et mise en oeuvre
por: Grolleau, Emmanuel, 1973-, et autres
Publicado: (2018)

Systèmes temps réel autonomes en énergie
por: Chetto, Maryline, 1959-, et autres
Publicado: (2017)

Spécification et conception des systèmes temps réel
por: Biancolin, Jean-André
Publicado: (1995)

MicroC/OS-II : the real-time Kernel
por: Labrosse, Jean J.
Publicado: (2002)

Systèmes temps réel. Techniques de description et de vérification
por: Navet, Nicolas, 19..-
Publicado: (2006)

CIM et temps réel
por: Brenier, Henri, 19..-...., ingénieur
Publicado: (1992)

Formal methods for the design of real-time systems : international school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, september 13-18, 2004 : revised lectures
por: Bernardo, Marco

Introduction aux systèmes embarqués temps réel : conception et mise en oeuvre
por: Grolleau, Emmanuel, 1973-, et autres
Publicado: (2018)

Systèmes temps réel. Ordonnancement, réseaux et qualité de service
por: Navet, Nicolas, 19..-
Publicado: (2006)

Les systèmes multi-agents et le temps réel
por: Attoui, Ammar
Publicado: (1997)

Programmation concurrente et temps réel avec ADA 95
por: Zaffalon, Luigi, et autres
Publicado: (1999)

Informatique industrielle. Introduction à l'informatique du temps réel
por: Nussbaumer, Henri, 1931-
Publicado: (1986)

Synthesizing synchronous systems by static scheduling in space-time
por: Lisper, Björn

Dynamic Reconfiguration in Real-Time Systems : Energy, Performance, and Thermal Perspectives
por: Wang, Weixun, et autres
Publicado: (2013)

Conception et modélisation objet des systèmes temps réel
por: Bui, Minh Duc, 19..-
Publicado: (1998)

Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21 23, 1997 : proceedings

Real-time : theory in practice : REX Workshop, Mook, the Netherlands, June 3-7, 1991 : proceedings

Formal techniques in real-time and fault-tolerant systems : 7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9 12, 2002 : proceedings

Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings

Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings

Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings
por: Lakhnech, Yassine, 19..-

Formal techniques in real-time and fault-tolerant systems : 5th international symposium, FTRTFT '98, Lyngby, Denmaek, September, 14-18, 1998 : proceedings

Estimation spectrale en temps réel de sources radioastronomiques en présence de brouilleurs cyclostationnaires : application au radiotélescope décimétrique de Nançay
por: Bretteil, Stéphanie, 1979-
Publicado: (2005)

Les spécifications fonctionnelles : automatismes industriels et temps réel
por: Brenier, Henri, 19..-...., ingénieur
Publicado: (2001)

L'informatique et les systèmes
por: Dupuy, Roger, 19..-...., informaticien
Publicado: (1972)

Informatique industrielle : microprocesseurs et interfaces temps-réel
por: Hersch, Roger D.
Publicado: (1997)

Energy autonomy
por: Chetto, Maryline, 1959-, et autres
Publicado: (2016)

Active, real-time, and temporal database systems : ; proceedings second international workshop, ARTDB '97, Como, Italy, September 8-9, 1997

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS 99, Bamberg, Germany, May 26 28, 1999 : proceedings

Le temps qui passe.

Universal multiservice networks : Third European Conference, ECUMN 2004, Porto, Portugal, october 25-27, 2004 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales