Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
Un langage de simulation est développé pour décrire un réseau d'automates finis. Le langage permet de spécifier séparément chaque automate. Puis on spécifie leur interface de communication. Pour pouvoir simuler le système, on spécifie ensuite les conditions expérimentales. Un programme, écrit en Fortran pour IBM/360, accepte les spécifications du modèle et de l'expérience, fait les contrôles nécessaires pour vérifier que le modèle et les données sont mathématiquement corrects, et puis simule le système.
