Trustworthy global computing : 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised selected papers /

Saved in:

Bibliographic Details
Meeting name:	TGC (Symposium) (6th : 2011 : Aachen, Germany)
Imprint:	Berlin ; New York : Springer, ©2012.
Description:	1 online resource (x, 241 pages) : illustrations.
Language:	English
Series:	Lecture notes in computer science, 1611-3349 ; 7173 LNCS sublibrary. SL 1, Theoretical computer science and general issues Lecture notes in computer science ; 7173. LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Subject:	Computer security -- Congresses. Computer networks -- Security measures -- Congresses. Computer software -- Validation -- Congresses. Computer software -- Verification -- Congresses. Computer networks -- Security measures. Computer security. Computer software -- Validation. Computer software -- Verification. Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11077022

Hidden Bibliographic Details
Varying Form of Title:	TGC 2011
Other authors / contributors:	Bruni, Roberto. Sassone, Vladimiro.
ISBN:	9783642300653 3642300650 9783642300646
Notes:	Includes bibliographical references and author index. Online resource; title from PDF title page (SpringerLink, viewed Aug. 10, 2012).
Summary:	Annotation This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Global Computing, TGC 2011, held in Aachen, Germany, in June 2011. The 14 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections on modeling formalisms for concurrent systems; model checking and quantitative extensions thereof; semantics and analysis of modern programming languages; probabilistic models for concurrency; and testing and run-time verification.

Similar Items