Computer software development tools

computer software

Computer software development tools; Computer software for use in avionics and cockpit display systems

Computer software development tools

Compiler Verification Software

Computer software, namely, graphic design and code generation software in the field of embedded safety-critical display systems

Computer software that ceates executable specifications, formal proof and automatically generated code, and is used by developers to create embedded software used for critical functions in automobiles and other transportation devices like braking systemns and restraint systems

Computer software for code generation in the field of safety-critical embedded software

Computer software development tools; Computer software for use in avionics and cockpit displays systems

Computer software for creating embedded software used for critical functions like autopilots and braking systems for planes and to create executable specifications, formal tests, and automatically generated code

Computer software for creating embedded software used for critical functions and to create executable specifications, formal tests, and automatically generated code

Computer software development tools; Computer software platforms for creating embedded software used for critical functions and to create executable specifications, formal tests, and automatically generated code

Advertising services; Marketing services; Licensing; Web AI Application; Providing a website featuring downloadable and non-downloadable software using artificial intelligence; Computer software platform using artificial intelligence; Subscription-based website featuring downloadable and non-downloadable software using artificial intelligence;

Bowls; Cruets; Cups; Lunchboxes; Bottle openers; Containers for household or kitchen use; Cookery molds; Cooking utensils, namely, grills; Drinking vessels; Heat-insulated vessels; Household containers for foods; Ice cube molds; Insulated containers for food or beverages; Non-electric juicers; Portable plastic containers for storing household and kitchen goods

Information technology IT consultancy services, namely IT security and safety consultancy; Information technology IT programming services, namely, programming of computer software for others, developing hardware for others; testing of software and hardware to assure compliance with security and safety requirements; quality control of programming of computer software for others, and developing hardware for others; scientific and technological services, namely, programming of computer software,...