Sign in
Ctrl K

All projects

1Filter
Keywords
9
Research domains
4
Participating organisations
3
1-2 of 2
Logo for RTLola
Physical Sciences and Engineering

RTLola

RTLola is a real-time monitoring toolkit for cyber-physical systems and networks

  • Formal Methods
  • monitoring
  • Runtime Verification
321
17
Logo for Tango Controls
Physical Sciences and Engineering

Tango Controls

Tango is an Open Source solution for SCADA (Supervisory Control and Data Acquisition) and DCS (Distributed Control Systems ).

  • Community software infrastructure groups
  • Component-Based Software Engineering
  • Digital Infrastructure
  • + 4
Oct 1999 - N/A
0
2