-
1
المصدر: Control Engineering Practice. 21:12-22
مصطلحات موضوعية: Programming language, Computer science, Applied Mathematics, Aspect-oriented programming, Separation of concerns, IEC 61131-3, Programmable logic controller, Reuse, computer.software_genre, Computer Science Applications, Control and Systems Engineering, Code (cryptography), Electrical and Electronic Engineering, Control logic, computer, Reusability, computer.programming_language
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::db3c26178c103128648cfae9d7bc7980Test
https://doi.org/10.1016/j.conengprac.2012.09.002Test -
2
المؤلفون: Chengyin Yuan, Sajed Miremadi, Knut Åkesson, Kristofer Bengtsson, Patrik Bergagård, Petter Falkman, Carl Thorstensson, Bengt Lennartson
المصدر: IEEE Transactions on Automation Science and Engineering. 9:308-319
مصطلحات موضوعية: Sequence, Hierarchy (mathematics), Programming language, Computer science, Process (engineering), business.industry, Formal methods, computer.software_genre, Automation, Production planning, Control and Systems Engineering, Formal language, Systems engineering, Electrical and Electronic Engineering, Control logic, business, computer
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::257b116145ea61607b1f445a44b742baTest
https://doi.org/10.1109/tase.2011.2178068Test -
3
المؤلفون: Chengyin Yuan, Oscar Ljungkrantz, Knut Åkesson, Martin Fabian
المصدر: IEEE Transactions on Automation Science and Engineering. 7:538-548
مصطلحات موضوعية: Computer science, business.industry, Design by contract, Formal methods, Language Of Temporal Ordering Specification, Control and Systems Engineering, Formal specification, Temporal logic, Electrical and Electronic Engineering, Software engineering, business, Logic Control, Formal verification, Logic programming
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::81292838ba570b73402039acf411d15fTest
https://doi.org/10.1109/tase.2009.2031095Test -
4
المؤلفون: Sajed Miremadi, Kristofer Bengtsson, Carl Thorstensson, Petter Falkman, Knut Åkesson, Chengyin Yuan, Bengt Lennartson
المصدر: CASE
مصطلحات موضوعية: Engineering drawing, Sequence, Programming language, Process (engineering), business.industry, Computer science, computer.software_genre, Automation, Visualization, Process development execution system, Manufacturing operations, business, Control logic, computer, Manufacturing execution system
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::67893523aa708c2cc3baa9283213dce4Test
https://doi.org/10.1109/coase.2010.5584141Test -
5
المؤلفون: Knut Åkesson, Oscar Ljungkrantz, Chengyin Yuan, Martin Fabian
المصدر: 2010 8th IEEE International Conference on Industrial Informatics.
مصطلحات موضوعية: Computation tree logic, Linear temporal logic, Description logic, Computer science, Programming language, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Interval temporal logic, Formal specification, Multimodal logic, Temporal logic, computer.software_genre, Formal verification, computer
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::6a39700f8af99455426082be44ba65bcTest
https://doi.org/10.1109/indin.2010.5549591Test -
6
المؤلفون: Knut Åkesson, Bengt Lennartson, Placid M. Ferreira, Goran Cengic, Chengyin Yuan
المصدر: CASE
مصطلحات موضوعية: Supervisory control theory, Operator (computer programming), Supervisor, Computer science, Distributed computing, media_common.quotation_subject, ComputerApplications_COMPUTERSINOTHERSYSTEMS, Industrial control system, Open communication, Distributed control system, Function (engineering), Abstraction layer, media_common
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::fa1ec6777318ead92b7a3325132fe142Test
https://doi.org/10.1109/coase.2005.1506780Test