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 | Imprint | Privacy
    Published by LZI