sumin0407

sumin0407's Stars

• google/material-design-lite

  Material Design Components in HTML/CSS/JS

  Language:HTML32.3k5k

• SungJin1212/ModelConversion

  ModelConversion (XML to Java)

  Language:Java6

• KAIST-SE-Lab/SIMVA-SoS-Lite

  SIMVA-SoS Lite

  Language:Java132

• yongjunshin/Environment-Model-Generation

  Data-driven environment model generation for complex system such as System-of-Systems and Self-Adaptive System

  Language:Python15

• psumin/SoS-Runtime-Monitoring

  Language:Java131

• KAIST-SE-Lab/StarPlateS

  Statistical Verification Framework for Platooning SoS with Uncertainty

  Language:C++282

• KAIST-SE-Lab/Fault-Localization-of-SoS

  Spectrum-based fault localization on collaboration graph of System-of-Systems

  Language:Python301

• psumin/SoS-simulation-engine

  SoS Simulation Engine

  Language:Java242

• KAIST-SE-Lab/SIMVA-SoS

  SIMVA-SoS: Simulation-based Verification and Analysis for SoS

  Language:Java2810