Formal Techniques for Distributed Systems: Joint Ifip Wg 6.1 International Conference, Fmoods/Forte 2013, Held as Part of the 8th International Federa

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

• Format: Paperback
• Language: English
• ISBN: 3642385915
• ISBN13: 9783642385919
• Release Date: May 2013
• Publisher: Springer
• Length: 321 Pages
• Weight: 1.04 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"