Dagstuhl Seminar Proceedings 09381

Refinement Based Methods for the Construction of Dependable Systems

J. Abrial, M. Butler, R. Joshi, E. Troubitsyna, J. C. P. Woodcock (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 09381, 13.09. - 18.09.2009
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Abrial, Jean-Raymond
  • Butler, Michael
  • Joshi, Rajev
  • Troubitsyna, Elena
  • Woodcock, Jim C. P.

  •   
    09381 Extended Abstracts Collection -- Refinement Based Methods for the Construction of Dependable Systems
    Authors: Abrial, Jean-Raymond ; Butler, Michael ; Joshi, Rajev ; Troubitsyna, Elena ; Woodcock, Jim C. P.

    Abstract | Document (3,339 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint
    Published by LZI