Mutation-based Validation of Temporal Logic Specifications with Guarantees
-
Updated
Mar 22, 2017
Mutation-based Validation of Temporal Logic Specifications with Guarantees
Paintball Firmware for PIC16f648a microcontrollers. Engineered to work with the Dye Matrix Paintball Gun. This is the opensource version of the commercially available CodeX chip from the early 2000s.
READER/WRITER EEPROM MEMORY https://youtu.be/iIVpqZVsOIc
Proyecto de AGV con Bluetooth y AppInventor 2011
Bike Car Racing Game Machine
4 channels multiplexor made in picc and proteus 8.6
Level control in PIC
PICC - Matrix keypad - Proteus 8.6 - LCD video in readme
Add a description, image, and links to the picc topic page so that developers can more easily learn about it.
To associate your repository with the picc topic, visit your repo's landing page and select "manage topics."