Applications de la théorie de la modélisation et de la simulation [Texte imprimé] : workshop du réseau DEVS (RED) : Cargèse, France, 29 avril-5 mai 2018 / JDF 2018, les journées DEVS francophones
Language: français.Country: France.Publication: Toulouse : Cépaduès-éditions, DL 2018Manufacture: 31-Toulouse : Impr. MessagesDescription: 1 vol. (VII-120 p.) : ill. en coul. ; 24 cmISBN: 9782364936379.Dewey: 003.3, 23Classification: 004Abstract: Disponible Résumé Description Table des matières Article Le RED (réseau DEVS) organise la deuxième édition des Journées DEVS Francophones (JDF). RED a pour but de développer, fédérer et promouvoir les travaux autour de la théorie de la modélisation et de la simulation (TM&S), et plus particulièrement autour du formalisme DEVS et de ses extensions. L'objectif est de promouvoir une approche systémique et intégrée de la modélisation des systèmes complexes. Les principaux thèmes du réseau sont : • l'ingénierie des modèles ; • la validation et la certification des simulateurs ; • la performance des simulateurs ; • l'utilisation de méthodes formelles, comme DEVS pour aider à la reproductibilité des expériences de simulation ; • la validation et la vérification des modèles..Subject - Topical Name: Simulation, Méthodes de Subject - Form: Actes de congrèsDEVS = discrete event system specification
Textes en français et anglais
Résumés en français et en anglais. Notes bibliogr.
Disponible Résumé Description Table des matières Article Le RED (réseau DEVS) organise la deuxième édition des Journées DEVS Francophones (JDF). RED a pour but de développer, fédérer et promouvoir les travaux autour de la théorie de la modélisation et de la simulation (TM&S), et plus particulièrement autour du formalisme DEVS et de ses extensions. L'objectif est de promouvoir une approche systémique et intégrée de la modélisation des systèmes complexes. Les principaux thèmes du réseau sont : • l'ingénierie des modèles ; • la validation et la certification des simulateurs ; • la performance des simulateurs ; • l'utilisation de méthodes formelles, comme DEVS pour aider à la reproductibilité des expériences de simulation ; • la validation et la vérification des modèles. éditeur
There are no comments on this title.