Serial Number:
79012794
Mark:
EMBEDDEDVALIDATOR
Status:
Status Date:
02-16-2015
Filing Date:
Registration Number:
3223193
Registration Date:
03-27-2007
Computer software tools for automatic model-based verification of reactive embedded systems, namely for mathematically checking and proving the correctness of hardware and software of embedded systems with respect to functional requirements within transportation vehicles, namely cars, trains, and vessels Designing and developing of computer hardware and software for checking reactive embedded systems
Mark Description:
N/A
Class:
Scientific and technological services
Type of Mark:
Trademark
Published for Opposition Date:
01-09-2007
Owner:
Mark Drawing Status:
Standart Character Mark
Abandon Date:
N/A
Business Name:
WELSH FLAXMAN & GITLER LLC
Correspondent Name: