<--- Back to Details
First PageDocument Content
Systems engineering / Problem frames approach / Systems analysis / Algorithm / Complexity / Michael A. Jackson / Perturbation theory / Function / Mathematics / Mathematical analysis / Science
Date: 2002-04-03 19:39:08
Systems engineering
Problem frames approach
Systems analysis
Algorithm
Complexity
Michael A. Jackson
Perturbation theory
Function
Mathematics
Mathematical analysis
Science

Add to Reading List

Source URL: mcs.open.ac.uk

Download Document from Source Website

File Size: 134,61 KB

Share Document on Facebook

Similar Documents

Carnegie Mellon University / Software Engineering Institute / Carnegie Mellon Silicon Valley / Alan Turing / Mathematics / British people / Pittsburgh

Time-Bounded Analysis of RealTime Systems Sagar Chaki1, Arie Gurfinkel1, Ofer Strichman2, Soonho Kong1 1Software

DocID: 1xVgX - View Document

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

A Security Analysis of Police Computer Systems Benjamin VanderSloot∗ Stuart Wheaton∗ J. Alex Halderman

DocID: 1xVf4 - View Document

Systems science / Design for X / Engineering / University of Freiburg / System of systems / Systems engineering / Systems theory / Reliability engineering

AVACS* Automatic Verification and Analysis of Complex Systems Werner Damm AVACS coordinator

DocID: 1xUP7 - View Document

Carnegie Mellon University / Software Engineering Institute / Carnegie Mellon Silicon Valley / Software engineering / Mellon / Pittsburgh

Static Analysis of Real-Time Embedded Systems with REK Arie Gurfinkel1

DocID: 1xUHI - View Document

Metaphysics / Data types / Search algorithms / Mathematics / Model checking / Tree / Information science / Abstraction / B-tree / Breadth-first search / Reachability / FO

Subsumer-First: Steering Symbolic Reachability Analysis Andrey Rybalchenko1 and Rishabh Singh2 1 Max Planck Institute for Software Systems (MPI-SWS)

DocID: 1xUG5 - View Document