Péter Bertók

3 published titles

Knowledge based hybrid systems : proceedings of the IFIP TC5/WG5.3/IFAC International Working Conference on Knowledge Based Hybrid Systems in Engineering and Manufacturing, KNOWHSEM '93, Budapest, Hun

(Contributor)

1 edition

Digital enterprise challenges : life-cycle approach to management and production : IFIP TC5/WG5.2 & WG5.3 Eleventh International PROLAMAT Conference on Digital Enterprise, New Challenges, November 7-1

(Contributor)

1 edition

Verification of communication protocols in web services : model-checking service compositions

(Contributor)

1 edition