Concepedia

Jerzy Biernacki

JB

Statistics

Publications

3

Citations

47

H-Index

3

Active since

2014

Affiliations

AGH University of Krakow(Current)

Jerzy Biernacki is an author at AGH University of Krakow specializing in model checking, computer science, and computing.

Publications per year

2014–2016

3

Publications

3

Methods of Translation of Petri Nets to NuSMV Language.

Marcin Szpyrka, Agnieszka Biernacka, Jerzy Biernacki · 2014 · 24 citations

, , +16

Hierarchical Communication Diagrams

Marcin Szpyrka, Piotr Matyasik, Jerzy Biernacki et al. · Computing and Informatics / Computers and Artificial Intelligence · 2016 · 12 citations

, , +17

Tools and Methods for RTCP-Nets Modeling and Verification

Marcin Szpyrka, Jerzy Biernacki, Agnieszka Biernacka · Archives of Control Sciences · 2016 · 11 citations · Full text

, , +15

1–3 of 3