Charles Explorer logo
🇨🇿

Model checking specifikací chování komponent: praktická zkušenost

Publikace na Matematicko-fyzikální fakulta |
2006

Abstrakt

Model checking specifikací chování komponent: praktická zkušenost