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

· Springer Science & Business Media
E-boek
195
Pagina's

Over dit e-boek

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...

Meer ontdekken

Dit e-boek beoordelen

Geef ons je mening.

Informatie over lezen

Smartphones en tablets
Installeer de Google Play Boeken-app voor Android en iPad/iPhone. De app wordt automatisch gesynchroniseerd met je account en met de app kun je online of offline lezen, waar je ook bent.
Laptops en computers
Via de webbrowser van je computer kun je luisteren naar audioboeken die je hebt gekocht op Google Play.
eReaders en andere apparaten
Als je wilt lezen op e-ink-apparaten zoals e-readers van Kobo, moet je een bestand downloaden en overzetten naar je apparaat. Volg de gedetailleerde instructies in het Helpcentrum om de bestanden over te zetten op ondersteunde e-readers.