Search results for: Piotr Marusak
Archives of Control Sciences > 2020 > Vol. 30, No. 2 > 325--363
Pomiary Automatyka Robotyka > 2019 > R. 23, nr 1 > 21--30
Lecture Notes in Computer Science > Architecting Critical Systems > Verification and Validation > 109-124
International Journal of Applied Mathematics and Computer Science > 2009 > 19 > 1 > 127-141
International Journal of Applied Mathematics and Computer Science > 2008 > 18 > 4 > 539-551