Seite 1 von 53 Ergebnissen

Sortieren nach: Relevanz | Aktualität neu zuerst | Titel A-Z

  1.  

    UNU and UNU/IIST

    Chaochen, Z. / United Nations University | British Library Conference Proceedings | 2003
  2.  

    Verification by Abstraction

    Shankar, N. / United Nations University | British Library Conference Proceedings | 2003
  3.  

    An Executable Specification Language Based on Message Sequence Charts

    Roychoudhury, A. / Thiagarajan, P. S. / United Nations University | British Library Conference Proceedings | 2003
  4.  

    Multi-view Modeling of Software Systems

    Broy, M. / United Nations University | British Library Conference Proceedings | 2003
  5.  

    From Formal Techniques to Well-Founded Software Development Methods

    Astesiano, E. / Reggio, G. / Cerioli, M. et al. | British Library Conference Proceedings | 2003
  6.  

    The Development of the RAISE Tools

    George, C. / United Nations University | British Library Conference Proceedings | 2003
  7.  

    Formal Methods within a Totally Functional Approach to Programming

    Bailes, P. A. / Kemp, C. J. M. / United Nations University | British Library Conference Proceedings | 2003
  8.  

    Real-Time Systems Development with Duration Calculi: An Overview

    Van Hung, D. / United Nations University | British Library Conference Proceedings | 2003
  9.  

    Coordination Technologies for Just-in-Time Integration

    Fiadeiro, J. L. / United Nations University | British Library Conference Proceedings | 2003
  10.  

    Software Development by Refinement

    Pavlovic, D. / Smith, D. R. / United Nations University | British Library Conference Proceedings | 2003
  11.  

    A Formal Basis for Some Dependability Notions

    Jones, C. B. / United Nations University | British Library Conference Proceedings | 2003
  12.  

    "What Is an Infrastructure?" - Towards an Informatics Answer

    Bjorner, D. / United Nations University | British Library Conference Proceedings | 2003
  13.  

    An Algebraic Approach to the VERILOG Programming

    Jifeng, H. / United Nations University | British Library Conference Proceedings | 2003
  14.  

    Making Timed Automata Communicate

    Chen, J. / Lin, H. / United Nations University | British Library Conference Proceedings | 2003
  15.  

    A Grand Challenge Proposal for Formal Methods: A Verified Stack

    Moore, J. S. / United Nations University | British Library Conference Proceedings | 2003
  16.  

    Towards the Verifying Compiler

    Hoare, T. / United Nations University | British Library Conference Proceedings | 2003
  17.  

    X2Rel: An XML Relation Language with Formal Semantics

    Janowski, T. / United Nations University | British Library Conference Proceedings | 2003
  18.  

    Contract-Based Testing

    Aichernig, B. K. / United Nations University | British Library Conference Proceedings | 2003

Ergebnisse anzeigen: 10 | 20 | 50

Feedback