RPTU Kaiserslautern, Chair of Cyber-Physical Systems

AADD

This repository holds the Affine Arithmetic Decision Diagrams library

DVCON-Europe-Challenge

Repository for the DVCON Europe Challenge.

jAADD

This repository holds the Affine Arithmetic Decision Diagrams library written for Java and JVM languages http://cps.cs.uni-kl.de/en/AADD

k-moc

A simple modeling/simulation tool in kotlin for demonstration purpose.

Multiplatform-AADD

This repostory contains the multiplatform version of the AADD library developed by the Cyber Physical Systems Chair of the RPTU Kaiserslautern

OSSRH-51653

SysMD

SysMD offers an little entry hudle for SysML v2 / Kermal - by a Notebook UI. Furthermore, an integrated constraint solver does many engineering calculations at system level and checks consistency..

SysMLv2-API

Kotlin Implementation of the SysMLv2 API

VP

Virtual Prototypes of Automotive Applications

VP-Lecture

Material from Lecture "Virtual Prototyping"

tukcps/SysMD

SysMD offers an little entry hudle for SysML v2 / Kermal - by a Notebook UI. Furthermore, an integrated constraint solver does many engineering calculations at system level and checks consistency..

tukcps/AADD

This repository holds the Affine Arithmetic Decision Diagrams library

tukcps/jAADD

This repository holds the Affine Arithmetic Decision Diagrams library written for Java and JVM languages http://cps.cs.uni-kl.de/en/AADD

tukcps/k-moc

A simple modeling/simulation tool in kotlin for demonstration purpose.

tukcps/Multiplatform-AADD

This repostory contains the multiplatform version of the AADD library developed by the Cyber Physical Systems Chair of the RPTU Kaiserslautern

tukcps/VP

Virtual Prototypes of Automotive Applications

tukcps/VP-Lecture

Material from Lecture "Virtual Prototyping"

tukcps/DVCON-Europe-Challenge

Repository for the DVCON Europe Challenge.

tukcps/OSSRH-51653

tukcps/SysMLv2-API

Kotlin Implementation of the SysMLv2 API