AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Sandeep Patil

Sandeep Patil

Lulea University of Technology - Luleå / Sweden
Engineering & Technology / Computer Science
AD Scientific Index ID: 1393364
Luleå tekniska universitet
person_outline Sandeep Patil's MOST POPULAR ARTICLES
1-) A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems IEEE Transactions on Industrial Informatics, 2019
2-) Formal verification of intelligent mechatronic systems with decentralized control logic Proceedings of 2012 IEEE 17th International Conference on Emerging …, 2012
3-) Adapting Software Design Patterns To Develop Reusable IEC 61499 Function Block Applications 2018 IEEE 16th International Conference on Industrial Informatics (INDIN …, 2018
4-) A portability study of IEC 61499: Semantics and tools 2014 12th IEEE International Conference on Industrial Informatics (INDIN …, 2014
5-) Distributed control patterns for intelligent mechatronic systems IEEE 10th International Conference on Industrial Informatics, 259-264, 2012