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

форум з автоматизації для викладачів, студентів та спеціалістів
Сьогодні: 18 жовтня 2018, 04:34

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


Активні теми
 Теми   Автор   Відповіді   Перегляди   Останнє повідомлення 
Немає нових повідомлень Книжки по проектуванню

san

0

164

12 квітня 2014, 08:14

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

Немає нових повідомлень Дип проект спец. Комп'ютерно-інтгров техн. проц. та виробн

san

5

166

31 березня 2014, 11:36

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

Немає нових повідомлень CSIA - Трансформационная бизнес-модель для системных интегра

san

0

143

18 лютого 2017, 10:13

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

Немає нових повідомлень Дата-центричное и интегрированное решение EPLAN для полного

san

0

155

16 листопада 2016, 01:22

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

Немає нових повідомлень Гибкое управление продуктом в двух словах (русская версия)

san

0

149

03 вересня 2016, 18:09

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

Немає нових повідомлень ControlDraw

san

1

113

11 квітня 2016, 23:40

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

Немає нових повідомлень Бібліотека модельних блоків

Aard

4

201

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

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

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

san

2

123

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

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

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

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

san

10

295

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

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

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

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

san

17

197

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

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

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

san

8

113

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

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

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

san

0

118

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

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

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

san

9

118

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

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

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

san

0

95

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

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

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

san

0

89

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

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

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

san

0

91

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

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

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

san

0

74

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

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

Немає нових повідомлень Gaining Insight into Executable Models during Runtime: Archi

san

0

98

28 вересня 2014, 00:13

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

Немає нових повідомлень Control System Failure Survival Strategies

san

0

78

20 вересня 2014, 20:58

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

Немає нових повідомлень System Integrator Best Business Practices

san

0

111

11 вересня 2014, 01:06

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

Немає нових повідомлень Keep documentation in sync with code

san

0

102

11 вересня 2014, 00:40

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

Немає нових повідомлень Cataloging Loop Drawings and Tags in a Spreadsheet/Каталогиз

san

0

124

10 вересня 2014, 22:08

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

Немає нових повідомлень Mining Control System Drawings Made Easy

san

0

95

09 вересня 2014, 12:40

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

Немає нових повідомлень 5 Ways to Minimize Risk When Migrating Your Control System

san

0

91

27 серпня 2014, 15:25

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

Немає нових повідомлень How to Develop a Project Execution Plan

san

0

86

27 серпня 2014, 00:42

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

 

 
 Форум   Теми   Повідомлення   Останнє повідомлення 
Немає нових повідомлень Проектування

Проектирование / Обговорення навчальних матеріалів в області проектування СА та дипломне проектування

16

22

Гибкое управление продукт...

03 вересня 2016, 18:09

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

Немає нових повідомлень САПР

Обговорення матеріалів про спеціалізовані САПРи

8

14

Дата-центричное и интегри...

16 листопада 2016, 01:22

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

Немає нових повідомлень Проектний менеджмент

11

11

CSIA - Трансформационная ...

18 лютого 2017, 10:13

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

Немає нових повідомлень Розробка програмного забезпечення

Разработка ПО/Методики проектування розробки, відлагодження, перевірки ПЗ для АСУ

14

64

Бібліотека модельних блоків

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

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


 Теми   Автор   Відповіді   Перегляди   Останнє повідомлення 
Немає нових повідомлень Книжки по проектуванню

san

0

164

12 квітня 2014, 08:14

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

Немає нових повідомлень Дип проект спец. Комп'ютерно-інтгров техн. проц. та виробн

san

5

166

31 березня 2014, 11:36

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

Немає нових повідомлень CSIA - Трансформационная бизнес-модель для системных интегра

san

0

143

18 лютого 2017, 10:13

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

Немає нових повідомлень Дата-центричное и интегрированное решение EPLAN для полного

san

0

155

16 листопада 2016, 01:22

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

Немає нових повідомлень Гибкое управление продуктом в двух словах (русская версия)

san

0

149

03 вересня 2016, 18:09

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

Немає нових повідомлень ControlDraw

san

1

113

11 квітня 2016, 23:40

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

Немає нових повідомлень Бібліотека модельних блоків

Aard

4

201

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

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

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

san

2

123

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

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

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

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

san

10

295

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

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

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

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

san

17

197

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

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

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

san

8

113

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

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

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

san

0

118

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

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

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

san

9

118

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

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

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

san

0

95

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

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

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

san

0

89

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

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

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

san

0

91

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

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

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

san

0

74

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

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

Немає нових повідомлень Gaining Insight into Executable Models during Runtime: Archi

san

0

98

28 вересня 2014, 00:13

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

Немає нових повідомлень Control System Failure Survival Strategies

san

0

78

20 вересня 2014, 20:58

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

Немає нових повідомлень System Integrator Best Business Practices

san

0

111

11 вересня 2014, 01:06

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

Немає нових повідомлень Keep documentation in sync with code

san

0

102

11 вересня 2014, 00:40

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

Немає нових повідомлень Cataloging Loop Drawings and Tags in a Spreadsheet/Каталогиз

san

0

124

10 вересня 2014, 22:08

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

Немає нових повідомлень Mining Control System Drawings Made Easy

san

0

95

09 вересня 2014, 12:40

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

Немає нових повідомлень 5 Ways to Minimize Risk When Migrating Your Control System

san

0

91

27 серпня 2014, 15:25

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

Немає нових повідомлень How to Develop a Project Execution Plan

san

0

86

27 серпня 2014, 00:42

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

Відображати теми за:  Сортувати за  

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



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

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


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