Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
| c [2025/01/12 12:31] – [Other] admin | c [2025/04/09 12:22] (current) – admin | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| + | **__[[https:// | ||
| + | |||
| <color /# | <color /# | ||
| Line 55: | Line 57: | ||
| https:// | https:// | ||
| + | |||
| + | |||
| + | ====== assertions ====== | ||
| + | Assert usage in real-time systems: | ||
| + | https:// | ||