search

gobo7793 / ssharp

S# is a formal modeling and safety analysis framework for safety-critical systems. It provides a domain specific modeling language and fully automated formal safety analysis tools based on C# and .NET.
http://safetysharp.isse.de/wiki
MIT License
0 stars 0 forks source link

Quellcode adaptive Komponente anfragen #77

Closed gobo7793 closed 6 years ago

gobo7793 commented 6 years ago

Spirals-Team anfragen, obs den Quellcode der adaptiven Komponente für die MA gibt

gobo7793 commented 6 years ago

Anfrage an Bo Zhang per Mail gesendet....

gobo7793 commented 6 years ago

Erste Antwort von Krikava, aber noch mit Verweis auf kompilierte Datei. Hat Bo Zhang (mit aktueller Mail) aber in CC gesetzt, mal abwarten...

gobo7793 commented 6 years ago

An Krikava geschrieben, dass Zhang bisher nicht reagiert hat und nochmal explizit Source angefragt...

gobo7793 commented 6 years ago

Quellcode von Romain Rouvoy erhalten