František Plášil
From MaRDI portal
Person:470014
Available identifiers
zbMath Open plasil.frantisekMaRDI QIDQ470014
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Formalization of invariant patterns for the invariant refinement method | 2015-06-22 | Paper |
| Threaded behavior protocols | 2014-11-11 | Paper |
| Software connectors and their role in component deployment | 2002-05-14 | Paper |
Research outcomes over time
This page was built for person: František Plášil
