Suchergebnisse - "ПРОГРАММИРОВАНИЕ ЛОГИЧЕСКИХ КОНТРОЛЛЕРОВ"
-
1
Schlagwörter: УПРАВЛЕНИЕ В ТЕХНИЧЕСКИХ СИСТЕМАХ, ПРОГРАММИРОВАНИЯ В СРЕДЕ SIEMENS LOGO!SOFT, ПРОГРАММИРОВАНИЕ ЛОГИЧЕСКИХ КОНТРОЛЛЕРОВ, АВТОМАТИЗАЦИЯ ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ
Dateibeschreibung: application/pdf
Zugangs-URL: https://elar.usfeu.ru/handle/123456789/13655
-
2
Schlagwörter: ПРАКТИЧЕСКИЕ РАБОТЫ, ПРОГРАММИРОВАНИЕ ЛОГИЧЕСКИХ КОНТРОЛЛЕРОВ, ПРОГРАММИРОВАНИЕ КОНТРОЛЛЕРОВ, РОБОТЫ-МАНИПУЛЯТОРЫ, АВТОМАТИЗАЦИЯ ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ
Dateibeschreibung: application/pdf
Zugangs-URL: https://elar.usfeu.ru/handle/123456789/13654
-
3
Autoren:
Quelle: Моделирование и анализ информационных систем, Vol 19, Iss 4, Pp 25-36 (2015)
Моделирование и анализ информационных систем, Vol 19, Iss 4, Pp 25-36 (2012)Schlagwörter: 0209 industrial biotechnology, метод проверки модели, plc-programs, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, Information technology, 02 engineering and technology, верификация программ, verification, T58.5-58.64, 16. Peace & justice, программирование логических контроллеров, model checking
Zugangs-URL: https://www.mais-journal.ru/jour/article/download/38/34
https://doaj.org/article/99559217c63a49b1a36616ff5fc664d1
https://doaj.org/article/3cf04de4dce8412da23f77c36561ccb1
https://www.mais-journal.ru/jour/article/viewFile/38/34
https://link.springer.com/article/10.3103/S0146411613070110
https://dblp.uni-trier.de/db/journals/accs/accs47.html#KuzminS13 -
4
Autoren:
Quelle: Моделирование и анализ информационных систем, Vol 19, Iss 4, Pp 25-36 (2012)
Schlagwörter: программирование логических контроллеров, верификация программ, метод проверки модели, Information technology, T58.5-58.64
Dateibeschreibung: electronic resource
Nájsť tento článok vo Web of Science 
Full Text Finder