Istvan Knoll

Publication Activity (10 Years)

Years Active: 2007-2009
Publications (10 Years): 0

Publications

Istvan Knoll, Anders P. Ravn, Arne Skou
Semantics for Communicating Actors with Interdependent Real-Time Deadlines. TASE (2009)
Zhenbang Chen, Abdelhakim Hannousse, Dang Van Hung, Istvan Knoll, Xiaoshan Li, Zhiming Liu, Yang Liu, Qu Nan, Joseph C. Okika, Anders P. Ravn, Volker Stolz, Lu Yang, Naijun Zhan
Modelling with Relational Calculus of Object and Component Systems - rCOS. CoCoME (2007)