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.

Autres éditions populaires du même titre

9780387185811: Embedded Systems: New Approaches to Their Formal Description and Design : An Advanced Course

Edition présentée

ISBN 10 :  038718581X ISBN 13 :  9780387185811
Couverture souple