Approche du temps réel industriel :: SCD d'Orléans

Approche du temps réel industriel

Approche du temps réel industriel

Сохранить в:

Библиографические подробности
Главный автор:	De Geeter, Jean-Marie
Формат:	Livre papier
Язык:	Français
Опубликовано:	Paris : Ellipses DL 1999.
Серии:	Technosup : les filières technologiques des enseignements supérieurs. Informatique
Предметы:	Programmation en temps réel Informatique > Applications industrielles Informatique > Manuels d'enseignement supérieur Temps réel (informatique)
Примечание:	En avant-titre : "Informatique"
Autres localisations:	Voir dans le Sudoc
Variante du titre:	Informatique :, approche du temps réel industriel

Схожие документы

Gestion des processus industriels temps réel : des interruptions électroniques aux exécutifs multitâches
по: Montois, Jean-Jacques, ingénieur
Опубликовано: (1999)

Introduction aux systèmes embarqués temps réel : conception et mise en oeuvre
по: Grolleau, Emmanuel, 1973-, и др.
Опубликовано: (2018)

Systèmes temps réel de contrôle-commande : conception et implémentation
по: Cottet, Francis, и др.
Опубликовано: (2005)

Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle
по: Cottet, Francis, и др.
Опубликовано: (2014)

Introduction aux systèmes embarqués temps réel : conception et mise en oeuvre
по: Grolleau, Emmanuel, 1973-, и др.
Опубликовано: (2018)

Temps réel
Опубликовано: (2003)

Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle
по: Cottet, Francis, и др.
Опубликовано: (2014)

CIM et temps réel
по: Brenier, Henri, 19..-...., ingénieur
Опубликовано: (1992)

Ordonnancement temps réel : cours et exercices corrigés
по: Cottet, Francis, и др.
Опубликовано: (2000)

Dispositifs de commande en temps réel
по: Toulotte, Jean-Marc
Опубликовано: (1975)

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
по: Bernardo, Marco

Programmation concurrente et temps réel avec ADA 95
по: Zaffalon, Luigi, и др.
Опубликовано: (1999)

Systèmes temps réel autonomes en énergie
по: Chetto, Maryline, 1959-, и др.
Опубликовано: (2017)

Spécification et conception des systèmes temps réel
по: Biancolin, Jean-André
Опубликовано: (1995)

Systèmes temps réel. Techniques de description et de vérification
по: Navet, Nicolas, 19..-
Опубликовано: (2006)

Conception et modélisation objet des systèmes temps réel
по: Bui, Minh Duc, 19..-
Опубликовано: (1998)

Specification and compositional verification of real-time systems
по: Hooman, Jozef, 19..-

Solutions temps réel sous Linux
по: Blaess, Christophe
Опубликовано: (2019)

Informatique industrielle : microprocesseurs et interfaces temps-réel
по: Hersch, Roger D.
Опубликовано: (1997)

L'informatique et les systèmes
по: Dupuy, Roger, 19..-...., informaticien
Опубликовано: (1972)

Techniques de synchronisation pour les applications parallèles
по: Padiou, Gérard, 1950-, и др.
Опубликовано: (1990)

Concurrent and real-time programming in Ada 2005
по: Burns, Alan, 1953-, и др.
Опубликовано: (2007)

Les systèmes multi-agents et le temps réel
по: Attoui, Ammar
Опубликовано: (1997)

MicroC/OS-II : the real-time Kernel
по: Labrosse, Jean J.
Опубликовано: (2002)

Systèmes temps réel. Ordonnancement, réseaux et qualité de service
по: Navet, Nicolas, 19..-
Опубликовано: (2006)

Energy autonomy
по: Chetto, Maryline, 1959-, и др.
Опубликовано: (2016)

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

Informatique industrielle. Introduction à l'informatique du temps réel
по: Nussbaumer, Henri, 1931-
Опубликовано: (1986)

Solutions en temps réel sous Linux
по: Blaess, Christophe
Опубликовано: (2019)

Les spécifications fonctionnelles : automatismes industriels et temps réel
по: Brenier, Henri, 19..-...., ingénieur
Опубликовано: (2001)

Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988

Real-time and embedded computing systems and applications : 9th international conference, RTCSA 2003, Tainan City, Taiwan, ROC, February 18-20, 2003 : revised papers

Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 : proceedings

RTS 2002 embedded systems : [Actes des conférences, 26-27-28 mars 2002, Paris]
Опубликовано: (2002)

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 : 5th international symposium, FTRTFT '98, Lyngby, Denmaek, September, 14-18, 1998 : proceedings

Sémantique de langages de programmation fonctionnels réactifs avec effets
по: Ischard, Jordan, 1998-
Опубликовано: (2025)

Real-time imaging.
Опубликовано: (1995)

Méthodes et techniques de traitement du signal et applications aux mesures physiques. Principes généraux et méthodes classiques
по: Max, Jacques, 1925-1987, physicien, и др.
Опубликовано: (1996)

© 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