Built something? We create video reels & spotlights for GitHub projects.Promote your project →
>GitHubRepo
Promote your project
Catalog / jpgiron / ModelParkingLotPUJCali
Public GitHub Catalog Discovered Oct 1, 2026

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.

View repository on GitHub ↗ View creator profile Browse directory

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.

#21886487GitHub System ID
jpgironOrganization / User
PublicVisibility
ActiveCatalog Status

More from jpgiron

↗

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.

Discovered
FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.

Promote your project
SPONSORED Sponsored Partner