Buch, Englisch, 452 Seiten, Format (B × H): 156 mm x 234 mm, Gewicht: 1850 g
Reihe: IFIP Advances in Information and Communication Technology
Buch, Englisch, 452 Seiten, Format (B × H): 156 mm x 234 mm, Gewicht: 1850 g
Reihe: IFIP Advances in Information and Communication Technology
ISBN: 978-0-412-73270-6
Verlag: Springer Us
This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The book presents the selected proceedings of the eighth International Conference on Formal Description Techniques, arranged by the International Federation for Information Processing and held in Montreal, Canada, October 1995.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Technische Informatik Externe Speicher & Peripheriegeräte
- Technische Wissenschaften Elektronik | Nachrichtentechnik Nachrichten- und Kommunikationstechnik
- Mathematik | Informatik EDV | Informatik Technische Informatik Netzwerk-Hardware
- Mathematik | Informatik EDV | Informatik Computerkommunikation & -vernetzung Netzwerkprotokolle
- Naturwissenschaften Physik Mechanik Akustik, Schwingungsanalyse
Weitere Infos & Material
Preface. Invited presentation. Design methodologies. Verification I. Algebraic languages. System specification and Z. Invited presentation. Industrial experiences. Applying formal methods. Tools and testing. Real-time and stochastic systems. Verification II. List of tools for demonstrations. Keyword index.
