jpgiron/ParkingLot_Final
Here is the Model of the Parking Lot System. System, testing and formal verification developed by: Juan Pablo Giron, with the aim of Eugenio Tamura.
Public GitHub Catalog
Discovered Oct 2, 2026
jpgiron / Document_FinalWork
Public repository discovered through GitHub real-time crawl.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#23363916GitHub System ID
jpgironOrganization / User
PublicVisibility
ActiveCatalog Status
More from jpgiron
jpgiron/ModelParkingLotPUJCali
This Project is my Last work to obtain the degree of Electronic Engineer, this respository has the model in SDL, the testing in TTCN-3 and the Formal Method using IF toolset. All the project is in RTDS.
jpgiron/TrabajoDeGrado
Public repository.
jpgiron/ModelandTestingParkingLot
Public repository.