1. Zuhause
  2. Frage und Antwort
  3. Was sind die besten Möglichkeiten, NuSMV zu lernen?

Was sind die besten Möglichkeiten, NuSMV zu lernen?

2017-06-22 7 views
-2

Ich möchte grundsätzlich NuSMV lernen, um in der Lage zu sein, komplexe Simulink-Modelle zu bauen. Ich habe versucht, den offiziellen NuSMV-Leitfaden durchzugehen, aber er ist zu komplex für einen Anfänger wie mich. Es gibt auch keine Bücher, die sich auf die Modellierung von Simulink-Modellen in NuSMV konzentrieren.Was sind die besten Möglichkeiten, NuSMV zu lernen?

Quelle

2017-06-22 prabhupant

+1

Bitte lesen [Unter welchen Umständen kann ich "dringend" oder andere ähnliche Sätze zu meiner Frage hinzufügen, um schnellere Antworten zu erhalten?] (// meta.stackoverflow.com/q/326569) - Die Zusammenfassung ist, dass dies ist kein idealer Weg, um Freiwillige anzusprechen, und ist wahrscheinlich kontraproduktiv, um Antworten zu erhalten. Bitte unterlassen Sie das Hinzufügen zu Ihren Fragen. – halfer

Antwort

0

Ich habe NuSMV gelernt, indem ich kleine Programme geschrieben und geändert habe. Es gab auch eine Reihe von Übungen von meiner Universität. Ich empfehle Ihnen, kleine Programme in NuSMV zu schreiben und zu ändern. Es gibt schon einige example programs.

Quelle

2017-06-22 07:48:59

Verwandte Themen

 Verwandte Themen