Piotr Flasinski

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Functional Verification

Probabilistic Automata

Finite State Machines

Person Identification

Top Venues

Publications

Mariusz Flasinski, Piotr Flasinski, Ewa Konduracka
On the Use of Programmed Automata for a Verification of ECG Diagnoses. CORES (2013)