Page 1 from 99 hits

Sort by: Relevancy | Date newest | Title A-Z

  1.  

    Challenges in Software Certification

    Maibaum, Tom | Springer Verlag | 2007
  2.  

    Erratum to: Challenges in Software Certification

    Maibaum, Tom | Springer Verlag | 2007
  3.  

    Multiset Theories of Cardinality-based Feature Diagrams

    Safilian, Aliakbar / Maibaum, Tom | arXiv | 2016
  4.  

    Safety cases: A review of challenges

    Langari, Zarrin / Maibaum, Tom | IEEE | 2013
  5.  

    In Memoriam Armando Martín Haeberer

    Maibaum, Tom | Springer Verlag | 2003
  6.  

    In Memoriam Armando Martin Haeberer

    Maibaum, Tom | Online Contents | 2003
  7.  

    Desert Island Column

    National licence
    Maibaum, Tom | Springer Verlag | 2002
  8.  

    Desert Island Column

    Maibaum, Tom | Online Contents | 2002
  9.  

    What Is a Derived Signature Morphism?

    Mossakowski, Till / Krumnack, Ulf / Maibaum, Tom | British Library Conference Proceedings
  10.  

    Software Technologies - A Product-Focused Approach to Software Certification

    Maibaum, Tom / Wassyng, Alan | Online Contents | 2008
  11.  

    A Model Management Imperative: Being Graphical Is Not Sufficient, You Have to Be Categorical

    Diskin, Zinovy / Maibaum, Tom / Czarnecki, Krzysztof | British Library Conference Proceedings
  12.  

    The Semantics of Cardinality-Based Feature Models via Formal Languages

    Safilian, Aliakbar / Maibaum, Tom / Diskin, Zinovy | British Library Conference Proceedings
  13.  

    Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge

    Gruner, Stefan / Kumar, Apurva / Maibaum, Tom | British Library Conference Proceedings

Number of results: 10 | 20 | 50

Feedback