Méthodes formelles pour les systèmes répartis et coopératifs :: SCD d'Orléans

Méthodes formelles pour les systèmes répartis et coopératifs

Méthodes formelles pour les systèmes répartis et coopératifs

Salvato in:

Dettagli Bibliografici
Altri autori:	Haddad, Serge, 1956- (Redattore), Kordon, Fabrice (Redattore), Petrucci, Laure, 19..- (Redattore)
Natura:	Livre papier
Lingua:	Français
Pubblicazione:	Paris : Hermes science publ. : Lavoisier C 2006.
Serie:	Traité IC2 : information, commande, communication. Informatique et systèmes d'information
Soggetti:	Systèmes à paramètres répartis Génie logiciel Logiciels > Vérification Design patterns
Autres localisations:	Voir dans le Sudoc

Documenti analoghi

Autonomous agents and multi-agent systems.
Pubblicazione: (1998)

La communication et le temps dans les réseaux et les systèmes répartis
di: Raynal, Michel, 1949-...., informaticien
Pubblicazione: (1991)

Communication and cooperation in agent systems : a pragmatic theory
di: Haddadi, Afsaneh, 1965-

Gestion des données réparties : problèmes et protocoles
di: Raynal, Michel, 1949-...., informaticien
Pubblicazione: (1992)

Automatique des systèmes distribués
di: Jai, Abdelhaq El, 1948-, et al.
Pubblicazione: (1990)

Utilisations industrielles des techniques formelles : interprétation abstraite
Pubblicazione: (2011)

State-space models of lumped and distributed systems
di: Kecman, Vojislav, 1948-

Sentinelles pour les systèmes distribués à données incomplètes
di: Lions, Jacques-Louis, 1928-2001, mathématicien
Pubblicazione: (1992)

Optimal mobile sensing and actuation policies in cyber-physical systems
di: Tricaud, Christophe, et al.

Contrôle des systèmes distribués singuliers
di: Lions, Jacques-Louis, 1928-2001, mathématicien
Pubblicazione: (1983)

Petri nets for systems engineering : a guide to modeling, verification, and applications
di: Girault, Claude, 19..-...., informaticien, et al.
Pubblicazione: (2010)

Experiences with distributed systems : international workshop, Kaiserslautern, FRG, September 28-30, 1987 : proceedings

Cooperative environments for distributed systems engineering : the distributed systems environment report
di: Drira, Khalil, 19..-

Méthodes du pilotage des systèmes de production
Pubblicazione: (2002)

Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS '96, Passau, Germany, March 27 29, 1996 : proceedings

Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19 20, 1995 : selected papers

Infinite dimensional linear systems theory
di: Curtain, Ruth F., 1941-2018, et al.
Pubblicazione: (1978)

Infinite dimensional linear systems theory
di: Curtain, Ruth F., 1941-2018, et al.

Objective coordination in multi-agent system engineering : design and implementation
di: Schumacher, Michael, 1971-

Optimal control of nonsmooth distributed parameter systems
di: Tiba, Dan, 1953-
Pubblicazione: (1990)

Control and Optimal Design of Distributed Parameter Systems
di: Lagnese, John E., 1937-...., mathématicien

Some aspects of the optimal control of distributed parameter systems
di: Lions, Jacques-Louis, 1928-2001
Pubblicazione: (1972)

-Pomset pour la modélisation et la vérification de systèmes parallèles
di: Sakho, Mouhamadou Tafsir, 1981-
Pubblicazione: (2014)

Architectures logicielles réparties : du client-serveur au cloud computing
di: Pollet, Yann, 19..-...., professeur en informatique
Pubblicazione: (2019)

Architectures logicielles réparties : du client-serveur au cloud computing
di: Pollet, Yann
Pubblicazione: (2019)

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

Distributed parameter systems : proceedings of the 3rd international conference Vorau, Styria, July 6 12, 1986

Contrôlabilité exacte perturbations et stabilisation de systèmes distribués. Perturbations
di: Lions, Jacques-Louis, 1928-2001
Pubblicazione: (1988)

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
di: Müller-Olm, Markus, 19..-

Mobile agents : First International Workshop, MA '97, Berlin, Germany, April 7 8, 1997 : proceedings

Principles of distributed systems : 7th international conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003 : revised selected papers

TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8 12, 1991 Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD)

Commande distribuée et synchronisation de robots industriels coopératifs
di: Bouteraa, Yassine
Pubblicazione: (2012)

Control theory for distributed parameter systems and applications

Parallel, distributed and multiagent production systems
di: Ishida, Toru, 1953-

Exact and approximate controllability for distributed parameter systems : a numerical approach
di: Glowinski, Roland, 1937-2022, et al.
Pubblicazione: (2008)

Une approche par composants pour l'analyse visuelle interactive de résultats issus de simulations numériques
di: Ait Wakrime, Abderrahim, 1986-
Pubblicazione: (2015)

Multiagent system technologies : second German conference, MATES 2004, Erfurt, Germany, september 29-30, 2004 : proceedings
di: Lindemann, Gabriela

SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 : proceedings

Verification, model checking, and abstract interpretation : Third International Workshop, VMCAI 2002 Venice, Italy, January 21 22, 2002 : revised papers
Pubblicazione: (2003)

© 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