Formal development of reactive systems case study production cell
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin u.a.
Springer
1995
|
| Schriftenreihe: | Lecture notes in computer science
891 |
| Schlagworte: |
CSL
> ESTEREL
> HOL
> LCM
> LUSTRE
> Logiciels - Développement - Cas, Études de
> Logiciels - Développement
> MODULA 3
> Programmatuurtechniek
> RAISE
> Réaction, Systèmes à - Informatique - Cas, Études de
> SDL
> TROLL
> Usines métallurgiques - Automatisation - Informatique - Cas, Études de
> développement logiciel
> méthode formelle
> signal
> spectrum
> Computer software -- Development
> Softwareentwicklung
> Konzeptionelle Modellierung
> Fertigungsinsel
> Automatisierungssystem
> Flexible Fertigungszelle
> Formale Spezifikationstechnik
> Formale Beschreibungstechnik
> Fallstudiensammlung
|
| Online Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | XI, 394 S. Ill., graph. Darst. |
|---|---|
| ISBN: | 3540588671 3-540-58867-1 0387588671 0-387-58867-1 |