Travelled to:
1 × Italy
1 × Portugal
Collaborated with:
M.Podloucký Z.Struska
Talks about:
borm (2) introduct (1) practic (1) foundat (1) toward (1) result (1) formal (1) valid (1) simul (1) point (1)
Person: Robert Pergl
DBLP: Pergl:Robert
Contributed to:
Wrote 2 papers:
- ICEIS-v2-2014-PodlouckyP #formal method #simulation #towards #validation
- Towards Formal Foundations for BORM ORD Validation and Simulation (MP, RP), pp. 315–322.
- ICEIS-J-2009-StruskaP #named #testing
- BORM-points: Introduction and Results of Practical Testing (ZS, RP), pp. 590–599.