Consult an Expert
Trademark
Design Registration
Consult an Expert
Trademark
Copyright
Patent
Infringement
Design Registration
More
Consult an Expert
Consult an Expert
Trademark
Design Registration
Login
Patent search/
METHOD FOR AUTOMATIC TRANSLATION OF LADDER LOGIC TO A SMT-BASED MODEL CHECKER IN A NETWORK
Patent Search in India
Extensive patent search conducted by a registered patent agent
Patent search done by experts in under 48hrs
₹999
₹399
Talk to expert
Abstract
Information
Inventors
Applicants
Specification
Documents
METHOD FOR AUTOMATIC TRANSLATION OF LADDER LOGIC TO A SMT-BASED MODEL CHECKER IN A NETWORK
CONVENTIONAL APPLICATION
Published
Filed on 3 August 2022
Patent Information
| Application ID | 202244044358 |
| Date of Application | 03/08/2022 |
Documents
| Name | Date |
|---|---|
| 202244044358-FORM 3 [27-09-2022(online)].pdf | 27/09/2022 |
| 202244044358-Certified Copy of Priority Document [26-08-2022(online)].pdf | 26/08/2022 |
| 202244044358-FORM-26 [12-08-2022(online)].pdf | 12/08/2022 |
| 202244044358-Proof of Right [11-08-2022(online)].pdf | 11/08/2022 |
| 202244044358-COMPLETE SPECIFICATION [03-08-2022(online)].pdf | 03/08/2022 |
| 202244044358-DECLARATION OF INVENTORSHIP (FORM 5) [03-08-2022(online)].pdf | 03/08/2022 |
| 202244044358-DRAWINGS [03-08-2022(online)].pdf | 03/08/2022 |
| 202244044358-FORM 1 [03-08-2022(online)].pdf | 03/08/2022 |
| 202244044358-STATEMENT OF UNDERTAKING (FORM 3) [03-08-2022(online)].pdf | 03/08/2022 |
