Modellierung verteilter Systeme

Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen

  • Authors
  • Peter Ochsenschläger
  • Rainer Prinoth

Part of the Programm Angewandte Informatik book series (PAI)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Peter Ochsenschläger, Rainer Prinoth
    Pages 1-6
  3. Peter Ochsenschläger, Rainer Prinoth
    Pages 7-40
  4. Peter Ochsenschläger, Rainer Prinoth
    Pages 41-52
  5. Peter Ochsenschläger, Rainer Prinoth
    Pages 53-74
  6. Peter Ochsenschläger, Rainer Prinoth
    Pages 75-102
  7. Peter Ochsenschläger, Rainer Prinoth
    Pages 103-116
  8. Peter Ochsenschläger, Rainer Prinoth
    Pages 117-122
  9. Peter Ochsenschläger, Rainer Prinoth
    Pages 123-140
  10. Peter Ochsenschläger, Rainer Prinoth
    Pages 141-158
  11. Peter Ochsenschläger, Rainer Prinoth
    Pages 159-186
  12. Peter Ochsenschläger, Rainer Prinoth
    Pages 187-210
  13. Peter Ochsenschläger, Rainer Prinoth
    Pages 211-218
  14. Peter Ochsenschläger, Rainer Prinoth
    Pages 219-230
  15. Peter Ochsenschläger, Rainer Prinoth
    Pages 231-240
  16. Peter Ochsenschläger, Rainer Prinoth
    Pages 241-268
  17. Back Matter
    Pages 269-280

About this book

Keywords

Kommunikationsmedien Modell Modellierung Multimedia Rechnernetze Sicherheit verteilte Systeme

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-322-88841-9
  • Copyright Information Springer Fachmedien 1995
  • Publisher Name Vieweg+Teubner Verlag, Wiesbaden
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-528-05433-5
  • Online ISBN 978-3-322-88841-9
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace