Ppasha9/traffic_lights_promela_model Ppasha9/traffic_lights_promela_model

  • Stars
    star
    2
  • Language
  • License
    MIT License
  • Created almost 4 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Ppasha9/traffic_lights_promela_model
github

Ppasha9

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Promela model of traffic lights

More Repositories

1

youtube_analyzer

Youtube videos analyzer
Python
1
star
2

semantic_gap

Implementation of the "Semantic Gap" problem.
Python
1
star
3

flowers_app_mobile

Mobile application on Flutter for FlowersAPP
Dart
1
star