Шаблон:PSL TOC — различия между версиями
Материал из Wiki
ANA (обсуждение | вклад) м |
ANA (обсуждение | вклад) м |
||
| (не показаны 4 промежуточные версии 1 участника) | |||
| Строка 9: | Строка 9: | ||
* [[PSL/Литература|Литература]] | * [[PSL/Литература|Литература]] | ||
* [[PSL/IEEE Standard 1850-2010 for Property Specification Language (PSL)|IEEE Std 1850-2010]] | * [[PSL/IEEE Standard 1850-2010 for Property Specification Language (PSL)|IEEE Std 1850-2010]] | ||
| + | * [[PSL/The designers guide to VHDL/18.3 Embedded PSL in VHDL|Embedded PSL in VHDL]] ([[PSL/The designers guide to VHDL/18.3 Embedded PSL in VHDL/en|en]]) | ||
<div style="background:#e6f7da; padding:5px 10px; text-align:center; font-weight:bold; {{border-radius|8px}}">Введение в PSL</div> | <div style="background:#e6f7da; padding:5px 10px; text-align:center; font-weight:bold; {{border-radius|8px}}">Введение в PSL</div> | ||
| − | * [[PSL/A Practical Introduction to PSL/Introduction/ru|Introduction]] ([[PSL/A Practical Introduction to PSL/Introduction|en]]) | + | * [[PSL/A Practical Introduction to PSL/Introduction/ru|1. Introduction]] ([[PSL/A Practical Introduction to PSL/Introduction|en]]) |
| − | * [[PSL/A Practical Introduction to PSL/Basic Temporal Properties/ru|Basic Temporal Properties]] ([[PSL/A Practical Introduction to PSL/Basic Temporal Properties|en]]) | + | * [[PSL/A Practical Introduction to PSL/Basic Temporal Properties/ru|2. Basic Temporal Properties]] ([[PSL/A Practical Introduction to PSL/Basic Temporal Properties|en]]) |
| + | * [[PSL/A Practical Introduction to PSL/Some Philosophy/ru|3. Some Philosophy]] ([[PSL/A Practical Introduction to PSL/Some Philosophy|en]]) | ||
| + | * [[PSL/A Practical Introduction to PSL/Weak vs. Strong Temporal Operators/ru|4. Weak vs. Strong Temporal Operators]] ([[PSL/A Practical Introduction to PSL/Weak vs. Strong Temporal Operators|en]]) | ||
| + | * [[PSL/A Practical Introduction to PSL/SERE Style/ru|5. SERE Style]] ([[PSL/A Practical Introduction to PSL/SERE Style|en]]) | ||
<!-- | <!-- | ||
| − | * [[PSL/A Practical Introduction to PSL/ | + | * [[PSL/A Practical Introduction to PSL/Clocks/ru|6. Clocks]] ([[PSL/A Practical Introduction to PSL/Clocks|en]]) |
| − | + | ||
| − | + | ||
| − | + | ||
--> | --> | ||
Текущая версия на 00:11, 16 ноября 2013
Литература
Введение в PSL
- 1. Introduction (en)
- 2. Basic Temporal Properties (en)
- 3. Some Philosophy (en)
- 4. Weak vs. Strong Temporal Operators (en)
- 5. SERE Style (en)
