Advanced Search
Back to overview
Export results as [feed] RSS 1.0 [feed] RSS 2.0

Citation

Order by: Document Type | Year of publication | No order
Skip to: Article | Conference or workshop publication
Number of items: 2.

Article

Atkinson, Colin ORCID: 0000-0002-3164-5595 ; Brenner, Daniel ; Falcone, Giovanni ; Juhasz, Monika (2008) Specifying High Assurance Services. Computer Los Alamitos, Calif. [u.a.] 41 8 64-71 [Article]

Conference or workshop publication

Atkinson, Colin ORCID: 0000-0002-3164-5595 ; Bostan, Philipp ; Brenner, Daniel ; Falcone, Giovanni ; Gutheil, Matthias ; Hummel, Oliver ; Juhasz, Monika ; Stoll, Dietmar Modeling components and component-based systems in KobrA. Rausch, Andreas ORCID: 0000-0002-0749-2496 ; Reussner, Ralf ; Mirandola, Raffaela ; František, Plášil Lecture Notes in Computer Science 5153 54-84 In: The common component modeling example : comparing software component models, based on the GI-Dagstuhl Research Seminar CoCoME (Common Component Modelling Example), which was held from August 1 - 3, 2007, at Schloss Dagstuhl, Germany (2008) Berlin [u.a.] CoCoME 2007 (Dagstuhl, Germany) [Conference or workshop publication]

This list was created automatically on Sat Jul 11 05:15:35 2026 CEST