Skip to content

Latest commit

 

History

History
9 lines (7 loc) · 427 Bytes

README.md

File metadata and controls

9 lines (7 loc) · 427 Bytes

cbsat

Component-Based Software Analysis Tools

Documentation for the tools in this repository can be found here:

This repository contains my research work towards

  • Design-Time network analysis techniques and tools for distributed cyber-physical systems (CPS)
  • Run-Time profile-based network traffic generation, measurement, detection, and enforcement