Concepedia

Michał Wypych

MW

Statistics

Publications

2

Citations

22

H-Index

2

Active since

2013

Affiliations

AGH University of Krakow(Current)

Michał Wypych is an author at AGH University of Krakow specializing in formal verification, systems modeling, and formal methods.

Publications per year

2013–2016

2

Publications

2

Hierarchical Communication Diagrams

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

Computing, Communication, Computer Science +17

Alvis language with time dependence

Marcin Szpyrka, Piotr Matyasik, Michał Wypych · 2013 · 10 citations

Computing, Computer Science, Formal Methods +14

1–2 of 2