Jelínek, I.
-
Acta Polytechnica Vol. 43 No. 5 (2003) - Articles
Modal Logic - a Tool for Design Process Formalisation
Abstract PDF -
Acta Polytechnica Vol. 40 No. 3 (2000) - Articles
A Formal Design Method
Abstract -
Acta Polytechnica Vol. 44 No. 2 (2004) - Articles
The Role of CAD in Enterprise Integration Process
Abstract PDF