×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [safety properties of]
Technology
OpenStack Congress and Datalog (English)
399 views
Documents
01/05/2015Leiden Institute of Advanced Computer Science 1 The Open Kernel Environment - spinning Linux - Herbert Bos Bart Samwel {herbertb,bsamwel}@liacs.nl
214 views
Documents
Model-based Analysis and Implementation of Embedded Systems Rajeev Alur University of Pennsylvania alur/ MIT Workshop, August 2005
216 views
Documents
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
Documents
Yuan Xue Vanderbilt University Integrated Modeling, Simulation and Emulation Environment for Security Assessment of Cyber-Physical Systems
225 views
Documents
Yuan Xue Vanderbilt University
80 views