 |
Форум АСУ в Україніфорум з автоматизації для викладачів, студентів та спеціалістів |
Вхід
Реєстрація
Альбомы
Допомога
Пошук| Сьогодні: 30 січня 2023, 17:03 |
|
Форум АСУ в Україніфорум з автоматизації для викладачів, студентів та спеціалістів |
| Сьогодні: 30 січня 2023, 17:03 |
|
Часовий пояс UTC + 2 годин [ DST ] |
 |
Сторінка 1 з 1 |
[ Тем: 11 ] |
|
|
|||||||
| Теми | Автор | Відповіді | Перегляди | Останнє повідомлення | |||
|---|---|---|---|---|---|---|---|
 |
Бібліотека модельних блоків | 4 |
1011 |
28 жовтня 2015, 08:58 |
|||
|
СОЗДАНИЕ ИМИТАЦИОННЫХ МОДЕЛЕЙ ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ ДЛЯ | 2 |
365 |
21 жовтня 2015, 22:24 |
|||
|
Model checking - метод верифікації ПЗ | 10 |
792 |
12 жовтня 2014, 18:13 |
|||
|
Formal Specification and Verification of Industrial Control | 17 |
832 |
09 жовтня 2014, 12:44 |
|||
|
A formal specification lang for PLC-based control(+укрнот) | 8 |
490 |
08 жовтня 2014, 22:09 |
|||
|
Збірка посилань по моделеорієнтованій розробці/верифікаці ПЗ | 0 |
301 |
02 жовтня 2014, 18:53 |
|||
|
A toolset for model checking of PLC software (+укр.нот) | 9 |
479 |
01 жовтня 2014, 23:10 |
|||
|
Closed-loop system modeling, validation, and verification | 0 |
228 |
28 вересня 2014, 02:35 |
|||
|
Model-based approach to the development of SCADA application | 0 |
221 |
28 вересня 2014, 02:29 |
|||
|
Model-Based Validation of Industrial Control Systems | 0 |
240 |
28 вересня 2014, 01:54 |
|||
|
Methods for Reliable Simulation-Based PLC Code Verification | 0 |
187 |
28 вересня 2014, 01:33 |
|||
|
Сторінка 1 з 1 |
[ Тем: 11 ] |
|
Часовий пояс UTC + 2 годин [ DST ] |
|
|
Хто зараз онлайн |
Зараз переглядають цей форум: Немає зареєстрованих користувачів і 1 гість |
|
Ви не можете створювати нові теми у цьому форумі Ви не можете відповідати на теми у цьому форумі Ви не можете редагувати ваші повідомлення у цьому форумі Ви не можете видаляти ваші повідомлення у цьому форумі Ви не можете додавати файли у цьому форумі |
На сторінку: 
![Нові повідомлення [ Популярна тема ]](./styles/subsilver2-modded/imageset/topic_unread_hot.gif "Нові повідомлення [ Популярна тема ]"){kind=small}
![Немає нових повідомлень [ Популярна тема ]](./styles/subsilver2-modded/imageset/topic_read_hot.gif "Немає нових повідомлень [ Популярна тема ]"){kind=small}
![Нові повідомлення [ Тема закрита ]](./styles/subsilver2-modded/imageset/topic_unread_locked.gif "Нові повідомлення [ Тема закрита ]"){kind=small}
![Немає нових повідомень [ Тема закрита ]](./styles/subsilver2-modded/imageset/topic_read_locked.gif "Немає нових повідомень [ Тема закрита ]"){kind=small}
