Mutation-based Validation of Temporal Logic Specifications with Guarantees
-
Updated
Mar 22, 2017
Mutation-based Validation of Temporal Logic Specifications with Guarantees
👊 Scrape UFC.com for ranking data and render in Material UI React app
Repositório de análise de dados da UFC
A simple server side rendered vue.js app using Nuxt.js (UFC wiki)
Repositório criado para a disciplina de Linguagem de Marcação e Scripts.
A course about Java, Python and Programming Projects at Federal University of Ceará (UFC) on Computer Engineering course.
Application for the management of fighting matches for UFC (Ultimate Fighting Championship).
Examples practiced in class at University Federal of Ceará.
Activities done in the verilog course given by Clube do Hardware from Federal University of Ceara - UFC
Trabalho desenvolvido para a disciplina de Inteligência Artificial (UERJ)
🥊 UFC Prediction using Machine Learning methods | Python: Tensorflow, Keras, Scikit-Learn
Add a description, image, and links to the ufc topic page so that developers can more easily learn about it.
To associate your repository with the ufc topic, visit your repo's landing page and select "manage topics."