dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Knut Eilif Husa Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2006
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJudith E. Y. Rossebeø, Mass Soldal Lund, Knut Eilif Husa, Atle Refsdal: A Conceptual Model for Service Availability. Quality of Protection 2006: 107-118
2005
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAtle Refsdal, Knut Eilif Husa, Ketil Stølen: Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams. FORMATS 2005: 32-48
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLØystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen: STAIRS towards formal design with sequence diagrams. Software and System Modeling 4(4): 355-367 (2005)
2003
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLØystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen: Why Timed Sequence Diagrams Require Three-Event Semantics. Scenarios: Models, Transformations and Tools 2003: 1-25

Coauthor Index

1Øystein Haugen [1] [2]
2Mass Soldal Lund [4]
3Atle Refsdal [3] [4]
4Judith E. Y. Rossebeø [4]
5Ragnhild Kobro Runde [1] [2]
6Ketil Stølen [1] [2] [3]

Last update Thu May 31 18:55:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page