Сьогодні: 29 березня 2024, 14:30 |
Часовий пояс UTC + 2 годин [ DST ] |
Сторінка 1 з 1 |
[ Тем: 11 ] |
|
|||||||
Теми | Автор | Відповіді | Перегляди | Останнє повідомлення | |||
---|---|---|---|---|---|---|---|
Бібліотека модельних блоків | 4 |
1090 |
28 жовтня 2015, 08:58 |
||||
СОЗДАНИЕ ИМИТАЦИОННЫХ МОДЕЛЕЙ ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ ДЛЯ | 2 |
385 |
21 жовтня 2015, 22:24 |
||||
Model checking - метод верифікації ПЗ | 10 |
813 |
12 жовтня 2014, 18:13 |
||||
Formal Specification and Verification of Industrial Control | 17 |
854 |
09 жовтня 2014, 12:44 |
||||
A formal specification lang for PLC-based control(+укрнот) | 8 |
500 |
08 жовтня 2014, 22:09 |
||||
Збірка посилань по моделеорієнтованій розробці/верифікаці ПЗ | 0 |
313 |
02 жовтня 2014, 18:53 |
||||
A toolset for model checking of PLC software (+укр.нот) | 9 |
495 |
01 жовтня 2014, 23:10 |
||||
Closed-loop system modeling, validation, and verification | 0 |
244 |
28 вересня 2014, 02:35 |
||||
Model-based approach to the development of SCADA application | 0 |
233 |
28 вересня 2014, 02:29 |
||||
Model-Based Validation of Industrial Control Systems | 0 |
248 |
28 вересня 2014, 01:54 |
||||
Methods for Reliable Simulation-Based PLC Code Verification | 0 |
200 |
28 вересня 2014, 01:33 |
||||
Сторінка 1 з 1 |
[ Тем: 11 ] |
Часовий пояс UTC + 2 годин [ DST ] |
|
Хто зараз онлайн |
Зараз переглядають цей форум: Немає зареєстрованих користувачів і 1 гість |
|
Ви не можете створювати нові теми у цьому форумі Ви не можете відповідати на теми у цьому форумі Ви не можете редагувати ваші повідомлення у цьому форумі Ви не можете видаляти ваші повідомлення у цьому форумі Ви не можете додавати файли у цьому форумі |