jpgiron/Document_FinalWork
Public repository.
Developer Profile
jpgiron
Discovered public repositories for jpgiron in the GitHub catalog.
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.
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.
jpgiron/mirringomdp
Este es el proyecto de Linux para Ingenieria de la Pontificia Universidad Javeriana
jpgiron/ParkingRTDS
Public repository.
jpgiron/MakerWorld
Public repository.
jpgiron/Proyecto-POO
Pollo Volador