Independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
Contributor(s)
John C. Gallagher
Eric T. Matson
Garrison W. Greenwood
Remote Video
Submitted by John Gallagher on December 3rd, 2014
Contributor(s)
Peter Seiler
Jason Rife
Demoz Gebre-Egziabher
Sam Guyer
Remote Video
Submitted by Peter Seiler on December 3rd, 2014
Contributor(s)
Yu Wang
Matthew West
Mahesh Viswanathan
Geir Dullerud
Remote Video
Submitted by Geir Dullerud on December 3rd, 2014
Contributor(s)
Georgios Fainekos
Remote Video
Submitted by Georgios Fainekos on December 3rd, 2014
Video
Towards Secure Networked Cyber-Physical Systems: A Theoretic Framework with Bounded Rationality
Contributor(s)
Walid Saad
Arif Sarwat
Saroj Biswas
Aunshul Rege
Li Bai
Ismail Guvenc
Kemal Akkaya
Remote Video
Tags
Submitted by Walid Saad on December 3rd, 2014
Contributor(s)
Stravos Tripakis
Edward A. Lee
Remote Video
Submitted by Anonymous on December 3rd, 2014
Contributor(s)
Linda Bushnell
Radha Poovendran
Remote Video
Submitted by Radha Poovendran on December 2nd, 2014
Event
CAV 2015
27th International Conference on Computer Aided Verification
Submitted by Anonymous on November 26th, 2014
Event
GaM 2105
Graphs as Models is a satellite workshop of ETAPS 2015 -
held at Queen Mary University of London in the Mile End campus.
Graphs are used as models in all areas of computer science: examples are state space graphs, control flow graphs, syntax graphs, UML-type models of all kinds, network layouts, social networks, dependency graphs, and so forth. Used to model a particular phenomenon or process, graphs are then typically analyzed to find out properties of the modelled subject, or transformed to construct other types of models.
Submitted by Anonymous on November 26th, 2014
Event
ICGT 2015
The 8th International Conference on Graph Transformation (ICGT 2015) will be held in L'Aquila (Italy) in July 2015. It continues the series of conferences previously held in Barcelona (Spain) in 2002, Rome (Italy) in 2004 (ICGT 2004), Natal (Brazil) in 2006 (ICGT 2006), Leicester (UK) in 2008 (ICGT 2008), Enschede (The Netherlands) in 2010 (ICGT 2010), Bremen (Germany) in 2012 (ICGT 2012) and York (UK) in 2014 (ICGT 2014), as well as a series of six International Workshops on Graph Transformation with Applications in Computer Science between 1978 to 1998.
Submitted by Anonymous on November 26th, 2014