Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Presentation

A Temporal Logic For Network Flow Analysis

  • January 2010
  • By Timothy J. Shimeall
  • In this presentation, Tim Shimeall discusses temporal logic adaptations of flow analysis and how formalization of time relationships can help improve flow analysis methods.
  • Network Situational Awareness
  • Publisher: Software Engineering Institute
  • Abstract

    In this presentation, given at FloCon 2010, Tim Shimeall discusses temporal logic adaptations of flow analysis and how formalization of time relationships can help improve flow analysis methods.

  • Download

Part of a Collection

FloCon 2010 Collection