Quality of Communication-Based Systems

Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994

AvGunter Hommel

E-bok
PDF, Engelska, 2012

1 367 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Beskrivning

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.

Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av