Articles liés à Embedded Systems: New Approaches to Their Formal Description...

Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986 - Couverture souple

B¿¿hrer, Richard E.; K¿¿ndig, Albert; D¿¿hler, Jacques

 
9783540185819: Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986

Synopsis

Contient quelques conférences données au printemps 1986 à l'ETH Zurich dans le cadre d'un cours avancé sur les nouvelles approches de l'architecture et de la conception des systèmes embarqués. Les conférences se concentrent sur la description et les méthodes de conception basées sur des modèles formels, appliqués au développement de systèmes informatiques. Le matériel et les logiciels sont traités. Une attention particulière dans la présentation de la base théorique est accordée aux formalismes fonctionnels et aux filets de Petri.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.