sidebar
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
sidebar [2018/09/09 11:49] – pmueller | sidebar [2019/09/01 12:22] – [Navigation] pmueller | ||
---|---|---|---|
Line 3: | Line 3: | ||
* [[wiki: | * [[wiki: | ||
- | * [[wiki: | + | * [[wiki: |
* [[wiki: | * [[wiki: | ||
* {{: | * {{: | ||
Line 9: | Line 9: | ||
* [[wiki: | * [[wiki: | ||
* Examples on [[https:// | * Examples on [[https:// | ||
- | * [[history|History | + | * [[history|News History]] |
---- | ---- | ||
Line 30: | Line 30: | ||
==== Examples ==== | ==== Examples ==== | ||
- | + | * [[wiki: | |
- | * [[wiki: | + | * [[wiki: |
* [[wiki: | * [[wiki: | ||
* [[wiki: | * [[wiki: | ||
Line 58: | Line 58: | ||
Focus on modeling and not on moving states around to create a nice looking diagram! Syntax aware text fields offer a comfortable way to specify actions, guards etc. When the diagram passed the model checker it can be directly simulated. Connect the diagram to the real hardware to monitor the state machine in action. | Focus on modeling and not on moving states around to create a nice looking diagram! Syntax aware text fields offer a comfortable way to specify actions, guards etc. When the diagram passed the model checker it can be directly simulated. Connect the diagram to the real hardware to monitor the state machine in action. | ||
- | {{: | + | {{: |
==== There are better ways to model state machines than using spread sheets! ==== | ==== There are better ways to model state machines than using spread sheets! ==== |
sidebar.txt · Last modified: 2024/04/14 14:03 by webmin