Concepedia

Author

Artur Męski

University of SiedlceORCID

Also Known As

A. Meski, Artur Meski, Artur Męski, Artur Mȩski, Meski, Artur, Męski, Artur

21

Publications

107

Citations

5

H-Index

9

Concepts

All Affiliations

University of SiedlceInstitute of Computer Science
AM

About

Artur Męski is an author at University of Siedlce specializing in formal methods, automated reasoning, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

51

2

Computer Science

2

2

51

3

Systems Engineering

2

2

51

4

Automated Reasoning

2

2

51

5

Process Control

1

1

14

Artur Męski

×

2

Publications

51

Citations

2

H-Index

YearCitations

Page 1