Formal Techniques for Distributed Objects, Components, and Systems  35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /  [electronic resource] : 
edited by Susanne Graf, Mahesh Viswanathan. 
 - Cham :  Springer International Publishing,  2015. 
 - 1 online resource (XII, 245 p. 47 ill.) 
 - Lecture Notes in Computer Science,  9039  0302-9743 ; .
<br/><br/>Ensuring Properties of Distributed Systems -- Formal Models of Concurrent and Distributed Systems -- Real Time Systems -- Security -- Efficient Verification Techniques. 
<br/><br/><label>ISBN: </label>9783319191959 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Software engineering.<br/>Computers.<br/>Computer logic.<br/>Mathematical logic.