Форум АСУ в Україні

форум з автоматизації для викладачів, студентів та спеціалістів
Сьогодні: 23 липня 2019, 16:39

Часовий пояс UTC + 2 годин [ DST ]




Створити нову тему  [ Тем: 11 ] 
 Теми   Автор   Відповіді   Перегляди   Останнє повідомлення 
Немає нових повідомлень Бібліотека модельних блоків

Aard

4

279

28 жовтня 2015, 08:58

san Переглянути останнє повідомлення

Немає нових повідомлень СОЗДАНИЕ ИМИТАЦИОННЫХ МОДЕЛЕЙ ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ ДЛЯ

san

2

149

21 жовтня 2015, 22:24

san Переглянути останнє повідомлення

Немає нових повідомлень Model checking - метод верифікації ПЗ

[ На сторінкуНа сторінку: 1, 2 ]

san

10

339

12 жовтня 2014, 18:13

san Переглянути останнє повідомлення

Немає нових повідомлень Formal Specification and Verification of Industrial Control

[ На сторінкуНа сторінку: 1, 2 ]

san

17

251

09 жовтня 2014, 12:44

san Переглянути останнє повідомлення

Немає нових повідомлень A formal specification lang for PLC-based control(+укрнот)

san

8

143

08 жовтня 2014, 22:09

san Переглянути останнє повідомлення

Немає нових повідомлень Збірка посилань по моделеорієнтованій розробці/верифікаці ПЗ

san

0

134

02 жовтня 2014, 18:53

san Переглянути останнє повідомлення

Немає нових повідомлень A toolset for model checking of PLC software (+укр.нот)

san

9

151

01 жовтня 2014, 23:10

san Переглянути останнє повідомлення

Немає нових повідомлень Closed-loop system modeling, validation, and verification

san

0

108

28 вересня 2014, 02:35

san Переглянути останнє повідомлення

Немає нових повідомлень Model-based approach to the development of SCADA application

san

0

100

28 вересня 2014, 02:29

san Переглянути останнє повідомлення

Немає нових повідомлень Model-Based Validation of Industrial Control Systems

san

0

106

28 вересня 2014, 01:54

san Переглянути останнє повідомлення

Немає нових повідомлень Methods for Reliable Simulation-Based PLC Code Verification

san

0

88

28 вересня 2014, 01:33

san Переглянути останнє повідомлення

Відображати теми за:  Сортувати за  
Створити нову тему  [ Тем: 11 ] 

Часовий пояс UTC + 2 годин [ DST ]



Хто зараз онлайн

Зараз переглядають цей форум: Немає зареєстрованих користувачів і 1 гість


Нові повідомлення Нові повідомлення    Немає нових повідомлень Немає нових повідомлень    Оголошення Оголошення
Нові повідомлення [ Популярна тема ] Нові повідомлення [ Популярна тема ]    Немає нових повідомлень [ Популярна тема ] Немає нових повідомлень [ Популярна тема ]    Прикріплено Прикріплено
Нові повідомлення [ Тема закрита ] Нові повідомлення [ Тема закрита ]    Немає нових повідомень [ Тема закрита ] Немає нових повідомень [ Тема закрита ]    Переміщено Переміщено
Ви не можете створювати нові теми у цьому форумі
Ви не можете відповідати на теми у цьому форумі
Ви не можете редагувати ваші повідомлення у цьому форумі
Ви не можете видаляти ваші повідомлення у цьому форумі
Ви не можете додавати файли у цьому форумі

Знайти:
Вперед:  
cron
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
Вы можете бесплатно создать форум PHPBB2 на MyBB2.ru, Также возможно создать форум бесплатно PHPBB3 на Getbb.ru
Український переклад © 2005-2007 Українська підтримка phpBB