image
image
user-login
Patent search/

A Tool for Formal Verification of Timer Based Transition System using Timed Automata – Mealy Machine with One Timer

Patent Search in India

  • tick

    Extensive patent search conducted by a registered patent agent

  • tick

    Patent search done by experts in under 48hrs

₹999

₹399

Talk to expert

A Tool for Formal Verification of Timer Based Transition System using Timed Automata – Mealy Machine with One Timer

ORDINARY APPLICATION

Published

date

Filed on 4 July 2023

Patent Information

Application ID202341044648
Date of Application04/07/2023

Documents

NameDate
202341044648-COMPLETE SPECIFICATION [04-07-2023(online)].pdf04/07/2023
202341044648-EDUCATIONAL INSTITUTION(S) [04-07-2023(online)].pdf04/07/2023
202341044648-EVIDENCE FOR REGISTRATION UNDER SSI [04-07-2023(online)].pdf04/07/2023
202341044648-EVIDENCE FOR REGISTRATION UNDER SSI(FORM-28) [04-07-2023(online)].pdf04/07/2023
202341044648-FORM 1 [04-07-2023(online)].pdf04/07/2023
202341044648-FORM FOR SMALL ENTITY(FORM-28) [04-07-2023(online)].pdf04/07/2023
202341044648-FORM-9 [04-07-2023(online)].pdf04/07/2023
earn

Refer a friend