Home Advanced Search

Advanced Search - Page 1

Specification and development of interactive systems: focus on streams, interfaces, and refinement
  • DJVU
  • English
  • Year: 2001
  • Author: Manfred Broy, Ketil Stølen
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
  • PDF
  • English
  • Year: 2001
  • Author: Manfred Broy, Ketil Stølen
Technology Research Explained: Design of Software, Architectures, Methods, and Technology in General
  • PDF
  • English
  • Year: 2023
  • Author: Ketil Stølen
Model-Driven Risk Analysis: The CORAS Approach
  • PDF
  • English
  • Year: 2011
  • Author: Mass Soldal Lund, Bjørnar Solhaug, Ketil Stølen (auth.)
Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School
  • DJVU
  • English
  • Year: 1986
  • Author: Broy, Manfred (ed.)
Security and Trust Management: 7th International Workshop, STM 2011, Copenhagen, Denmark, June 27-28, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Bjørnar Solhaug, Ketil Stølen (auth.), Catherine Meadows, Carmen Fernandez-Gago (eds.)
Trust Management: 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Cristiano Castelfranchi (auth.), Ketil Stølen, William H. Winsborough, Fabio Martinelli, Fabio Massacci (eds.)
Trust Management: 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Cristiano Castelfranchi (auth.), Ketil Stølen, William H. Winsborough, Fabio Martinelli, Fabio Massacci (eds.)
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report
  • DJVU
  • English
  • Year: 1995
  • Author: Manfred Broy, Martin Wirsing (auth.), Manfred Broy, Stefan Jähnichen (eds.)
Projektorganisation und Management im Software Engineering
  • PDF
  • German
  • Year: 2013
  • Author: Manfred Broy, Marco Kuhrmann (auth.)
search