Systems analysis - PDFSEARCH.IO - Document Search Engine

Systems analysis
Results: 12418

#	Item
1	Time-Bounded Analysis of RealTime Systems Sagar Chaki1, Arie Gurfinkel1, Ofer Strichman2, Soonho Kong1 1Software Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Carnegie Mellon University Software Engineering Institute Carnegie Mellon Silicon Valley Alan Turing Mathematics British people Pittsburgh
2	A Security Analysis of Police Computer Systems Benjamin VanderSloot∗ Stuart Wheaton∗ J. Alex Halderman Add to Reading List Source URL: benvds.com Language: English - Date: 2018-09-18 11:06:16 Computer security Computing Computer network security Security engineering Information and communications technology Crime prevention Cryptography National security Virtual private network SCADA FBI Criminal Justice Information Services Division Computer network
3	AVACS* Automatic Verification and Analysis of Complex Systems Werner Damm AVACS coordinator Add to Reading List Source URL: www.avacs.org Language: English - Date: 2015-09-28 03:05:31 Systems science Design for X Engineering University of Freiburg System of systems Systems engineering Systems theory Reliability engineering
4	Static Analysis of Real-Time Embedded Systems with REK Arie Gurfinkel1 Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Carnegie Mellon University Software Engineering Institute Carnegie Mellon Silicon Valley Software engineering Mellon Pittsburgh
5	Subsumer-First: Steering Symbolic Reachability Analysis Andrey Rybalchenko1 and Rishabh Singh2 1 Max Planck Institute for Software Systems (MPI-SWS) Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Metaphysics Data types Search algorithms Mathematics Model checking Tree Information science Abstraction B-tree Breadth-first search Reachability FO
6	DASH: Modelling and Analysis of Declarative State-Based Transition Systems Work in Progress () Jose Serna, Nancy A. Day, and Shahram Esmaeilsabzali With past contributions by Sabria Farheen Add to Reading List Source URL: alloytools.org Language: English* - Date: 2018-06-13 06:07:43 Models of computation Intel Scientific modelling Dash Transition system Epistemology Philosophy of science Writing
7	AnyChart™ Data Visualization Solutions IDS Chooses AnyChart for Its Reporting and Analysis Systems Independent Data Services Add to Reading List Source URL: www.anychart.com Language: English - Date: 2015-04-21 05:39:48 AnyChart Petroleum production Computing Wellsite information transfer standard markup language Visualization Data visualization Application software Communication design
8	Automated Vulnerability Analysis of AC State Estimation under Constrained False Data Injection in Electric Power Systems Sicun Gao1 , Le Xie2 , Armando Solar-Lezama1 , Dimitrios Serpanos3 , and Howard Shrobe1 Abstract— Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Mathematics Electromagnetism Electric power Electrical engineering Power engineering Power-flow study Parameter Variable
9	Modular SMT-Based Analysis of Nonlinear Hybrid Systems Kyungmin Bae Sicun Gao Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21
10	PRESS ANNOUNCEMENT FOR IMMEDIATE RELEASE 11TH JULY 2016 Best Systems for Regulated City Firms Announced The leading suppliers of systems for data, market analysis, portfolio management and other Add to Reading List Source URL: www.goodacreuk.com Language: English - Date: 2016-09-09 08:56:32 Finance Economy Money Clearstream Luxembourg Goodacre