( en | de | ru )

 

Disambiguation of "Patil, Sandeep"

Author of the publication

copydeleteadd this publication to your clipboard
Formal model of IEC 61499 execution trace in FBME IDE.

, , , , and . INDIN, page 588-593. IEEE, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sandeep S Patil

Pratap Patil

Nanoscopic metal fluoride based novel solid catalysts. HU Berlin, (2008)

Manohar Patil

Ganesh Patil

Nitin Patil

 

Other publications of authors with the same name

Developing a Test Suite for Evaluating IEC 61499 Application Portability., , , and . ISIE, page 1-4. IEEE, (2023)Plant Model Generator from Digital Twin for Purpose of Formal Verification., , , and . ETFA, page 1-4. IEEE, (2021)Process mining in industrial control systems., , , and . INDIN, page 1-6. IEEE, (2022)Formal model of IEC 61499 execution trace in FBME IDE., , , , and . INDIN, page 588-593. IEEE, (2022)Towards formal verification of smart grid distributed intelligence: FREEDM case., , , and . IECON, page 3974-3979. IEEE, (2015)Formal Verification of Protection Functions for Power Distribution Networks., , , , and . IECON, page 3550-3555. IEEE, (2018)Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM., , , and . Ershov Memorial Conference, volume 8974 of Lecture Notes in Computer Science, page 76-91. Springer, (2014)Adapting Software Design Patterns To Develop Reusable IEC 61499 Function Block Applications., , and . INDIN, page 725-732. IEEE, (2018)SNTAM: secure neuro-fuzzy-based trusted neighbour selection and attackers detection in multipath ad-hoc network., , and . Int. J. Internet Protoc. Technol., 16 (2): 119-130 (2023)A Self-Biased Charge-Transfer Sense Amplifier., , and . ISCAS, page 3030-3033. IEEE, (2007)