Skip to content
View yrke's full-sized avatar

Highlights

  • Pro

Organizations

@f-klubben @TAPAAL @DEIS-Tools @Ecdar @opaal-modelchecker @UPPAALModelChecker @CEDARDK

Block or report yrke

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
yrke/README.md

Github Readme

Pinned Loading

  1. AAUWebMgmt AAUWebMgmt Public

    A web frontend for IT magnagement tasks build for IT Services at Aalborg University

    C# 1

  2. TAPAAL/TAPAAL TAPAAL/TAPAAL Public

    TAPAAL is a tool for modelling, simulation and verification of Timed-Arc Petri nets

    5

  3. UserInfoHTA UserInfoHTA Public archive

    A small HTA application to quickly display AD information. Formerly used for IT support at Aalborg University.

    Batchfile

  4. WindowsPrefTests WindowsPrefTests Public

    A framework for creating windows performance measurements, can be used for establishing baseline or testing changes

    PowerShell

  5. tgstota tgstota Public

    Lib to convert Task Graph (tgs) to UPPAAL timed automata (TA)

    Java 1

  6. AAURedirector AAURedirector Public

    C#