Login / Signup
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)