Geeks
Mohannadcse
/
IoTCOM
Verifying safety of interactions between IoT apps
Primary Language
Alloy
MIT License
MIT
IoTCOM GitHub
Markdown
Readme
3
Issues
7
Stargazers
3
Watchers
Issues
Open issue
IoTCOM\BehavioralRuleExtractor ...Output
#4 opened
3 years ago
by
Alyaa-hamza
0
Closed issue
IoTCOM errors from eclipse
#1 opened
3 years ago
by
Alyaa-hamza
2
Closed issue
IoTCOM errors from NetBeans
#2 opened
3 years ago
by
Alyaa-hamza
2