OpenStack Congress and Datalog (English)
01/05/2015Leiden Institute of Advanced Computer Science 1 The Open Kernel Environment - spinning Linux - Herbert Bos Bart Samwel {herbertb,bsamwel}@liacs.nl.
Model-based Analysis and Implementation of Embedded Systems Rajeev Alur University of Pennsylvania alur/ MIT Workshop, August 2005.
ACL2SIX: A Hint used to Integrate a Theorem Prover and an Automated Verification Tool Jun Sawada and Erik Reeber IBM Austin Research Laboratory University.
Yuan Xue Vanderbilt University Integrated Modeling, Simulation and Emulation Environment for Security Assessment of Cyber-Physical Systems.
Yuan Xue Vanderbilt University