×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [safety properties of]
OpenStack Congress and Datalog (English)
398 views
01/05/2015Leiden Institute of Advanced Computer Science 1 The Open Kernel Environment - spinning Linux - Herbert Bos Bart Samwel {herbertb,bsamwel}@liacs.nl
213 views
Model-based Analysis and Implementation of Embedded Systems Rajeev Alur University of Pennsylvania alur/ MIT Workshop, August 2005
216 views
ACL2SIX: A Hint used to Integrate a Theorem Prover and an Automated Verification Tool Jun Sawada and Erik Reeber IBM Austin Research Laboratory University
214 views
Yuan Xue Vanderbilt University Integrated Modeling, Simulation and Emulation Environment for Security Assessment of Cyber-Physical Systems
225 views
Yuan Xue Vanderbilt University
79 views