Formal Techniques for Distributed Systems
Joint IFIP WG 6.1 International Conferences, FMOODS 2013 and FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5,2013, Proceedings - Lecture Notes in Com
Erschienen am
16.05.2013, Auflage: 1/2013
Bibliografische Daten
ISBN/EAN: 9783642385919
Sprache: Englisch
Umfang: xiv, 321 S., 66 s/w Illustr., 321 p. 66 illus.
Format (T/L/B): 1.8 x 23.5 x 15.5 cm
Einband: kartoniertes Buch
Beschreibung
InhaltsangabeDistributed computing models.- Formal specification.- Testing.- Verification methods.- Application-level distributed systems.- Telecommunication services.- Internet.- Embedded and real-time systems.-Networking and communication security and reliability.
Autorenportrait
InhaltsangabeDistributed computing models.- Formal specification.- Testing.- Verification methods.- Application-level distributed systems.- Telecommunication services.- Internet.- Embedded and real-time systems.-Networking and communication security and reliability.
