Modelworks

software for the automated checking of properties for systems of systems architectures using a formal methods based approach. design of software for Read More

Classification Information

Class [9]
Computer & Software Products & Electrical & Scientific Products

Software for the automated checking of properties for systems of systems architectures using a formal methods based approach.

Class [42]
Computer & Software Services & Scientific Services

Design of software for the automated checking of properties for systems of systems architectures using a formal methods based approach.

Mark Details

Serial Number

UK00002624447

Mark Type

Word

Kind of mark

Individual