- Germany
- @Mh_khoshechin
Highlights
- Pro
Block or Report
Block or report joulook
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned Loading
-
Verification-of-Reactive-Systems-Spring-2021
Verification-of-Reactive-Systems-Spring-2021 PublicIn this repository you can find all of my projects for Verification of Reactive Systems Course when I was in 2nd semester of my master's at SUT.
C++
-
Design-Patterns-Tutorial
Design-Patterns-Tutorial PublicDesign Patterns Tutorial with Exampls. This tutorial is based on "Design Patterns Elements of Reusable Object-Oriented Software -Gmma and Helm and Johnson and Vlissides -Addison Wesley" Book
C#
-
Parallel-Processing-Spring-2021
Parallel-Processing-Spring-2021 PublicIn this repository you can find all of my projects for Parallel Processing Course when I was in 2nd semester of my master's at SUT.
Java 3
-
Formal-Specification-and-Verification-of-Programs-Fall-2020
Formal-Specification-and-Verification-of-Programs-Fall-2020 PublicIn this repository you can find all of my assignments for Formal Specification and Verification of Programs Course when I was in 1st semester of my master's at SUT.
TeX 1
-
Formal-Verification-of-TADL2-Timing-Constraints-with-UPPAAL-and-KRONOS
Formal-Verification-of-TADL2-Timing-Constraints-with-UPPAAL-and-KRONOS Public -
Performance-Evaluation-of-Computer-Systems-Fall-2021
Performance-Evaluation-of-Computer-Systems-Fall-2021 PublicIn this repository you can find all of my projects for Performance Evaluation of Computer Systems Course when I was in 3rd semester of my master's at SUT.
Java 1
If the problem persists, check the GitHub status page or contact support.