Monika Juhasz

Publication Activity (10 Years)

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

Publications

Colin Atkinson, Daniel Brenner, Giovanni Falcone, Monika Juhasz
Specifying High-Assurance Services. Computer 41 (8) (2008)
Colin Atkinson, Philipp Bostan, Daniel Brenner, Giovanni Falcone, Matthias Gutheil, Oliver Hummel, Monika Juhasz, Dietmar Stoll
Modeling Components and Component-Based Systems in KobrA. CoCoME (2007)