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.
Das Cluster auf beide PCs ausweiten versuchen
Vermutllich wird das nur ohne docker-machine mit jeweils lokalem Benutzer funktionieren
Das Cluster auf einem und zwei PCs bzw deren Testergebnisse sollen (wenns funktioniert) dann auch miteinander verglichen werden können
Das Cluster auf beide PCs ausweiten versuchen Vermutllich wird das nur ohne docker-machine mit jeweils lokalem Benutzer funktionieren Das Cluster auf einem und zwei PCs bzw deren Testergebnisse sollen (wenns funktioniert) dann auch miteinander verglichen werden können