Compute traces inclusion using biased & random traces with UPPAAL models.
-
Updated
Sep 19, 2023 - Java
Computer science is the study of the theory, experimentation, and engineering that form the basis for the design and use of computers. It is the scientific and practical approach to computation and its applications and the systematic study of the feasibility, structure, expression, and mechanization of the methodical procedures (or algorithms) that underlie the acquisition, representation, processing, storage, communication of, and access to, information.
Compute traces inclusion using biased & random traces with UPPAAL models.
Universite de Montreal IFT2015 Summer 2023, Alena Tsikhanovich. Notes, previous exams, and assignments fully solved.
🖥️ All the material I gathered during my degree in Computer Science & Engineering @ ISEC
This repository is a place for the code I create for my Master of Computer Science with Artificial Intelligence.
Library for the standard IBIO class for International Baccalaureate Computer Science students.
AP Computer Science A & Other AP Computer Science A Related Repository