Quality of Communication-Based Systems: Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994

· Springer Science & Business Media
eBook
195
Halaman

Tentang eBook ini

Quality of Communication-Based Systems presents the research results of students of the Graduiertenkolleg `Communication-Based Systems' to an international community. To stimulate the scientific discussion, renowned experts have been invited to give their views on the research areas:
  • Formal specification and mathematical foundations of distributed systems using process algebra, graph transformations, process calculi and temporal logics
  • Performance evaluation, dependability modelling and analysis of real-time systems with different kinds of timed Petri-nets
  • Specification and analysis of communication protocols
  • Reliability, security and dependability in distributed systems
  • Object orientation in distributed systems architecture
  • Software development and concepts for distributed applications
  • Computer network architecture and management
  • Language concepts for distributed systems.
Quality of Communication-Based Systems presents the research results of students of the Graduiertenkolleg `Communication-Based Systems' to an international community. To stimulate the scientific discussion, renowned experts have been invited to give their views on the research areas: Formal speci...

Temukan lainnya

Beri rating eBook ini

Sampaikan pendapat Anda.

Informasi bacaan

Smartphone dan tablet
Instal aplikasi Google Play Buku untuk Android dan iPad/iPhone. Aplikasi akan disinkronkan secara otomatis dengan akun Anda dan dapat diakses secara online maupun offline di mana saja.
Laptop dan komputer
Anda dapat mendengarkan buku audio yang dibeli di Google Play menggunakan browser web komputer.
eReader dan perangkat lainnya
Untuk membaca di perangkat e-ink seperti Kobo eReaders, Anda perlu mendownload file dan mentransfernya ke perangkat Anda. Ikuti petunjuk Pusat bantuan yang mendetail untuk mentransfer file ke eReaders yang didukung.