Concepedia

P. Škrobánek

PŠ

Statistics

Publications

3

Citations

76

H-Index

3

Active since

1995

Affiliations

Wrocław University of Science and Technology(Current)

P. Škrobánek is an author at Wrocław University of Science and Technology specializing in formal verification, formal methods, and program analysis.

Top concepts

Publications per year

1995–2011

3

Publications

3

Timing analysis of safety properties using fault trees with time dependencies and timed state-charts

Jan Magott, P. Škrobánek · Reliability Engineering & System Safety · 2011 · 34 citations

, , +18

Method of time Petri net analysis for analysis of fault trees with time dependencies

Jan Magott, P. Škrobánek · IEE Proceedings - Computers and Digital Techniques · 2002 · 29 citations

, , +27

Effect of mercury on the seminiferous epithelium of the fowl testis.

Milan Maretta, E. Marettová, P. Škrobánek et al. · PubMed · 1995 · 13 citations

, , +28

1–3 of 3