Formal methods for components and objects : 9th international symposium, FMCO 2010 Graz, Austria, November 29-December 1, 2010 : revised papers / Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue, (eds.)
Aichernig, Bernhard K.; Boer, Frank S. de, editor; Bonsangue, Marcello M., editor
(Springer-Verlag, 2011)
|
| This state-of-the-art survey presents the outcome of the 9th Symposium on Formal Methods for Components and Objects, held in Graz, Austria, in November/December 2010. The volume contains 20 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the FP7-IST project AVANTSSAR on automated validation of trust and security of service-oriented architectures; the FP7-IST project DEPLOY on industrial deployment of advanced system engineering methods for high productivity and dependability; the ESF-COST Action IC0701 on formal verification of object-oriented software; the FP7-IST project HATS on highly adaptable and trustworthy software using formal models; the FP7-SST project INESS on an integrated European railway signalling system; the FP7-IST project MADES on a model-driven approach to improve the current practice in the development of embedded systems; the FP7-IST project MOGENTES on model-based generation of tests for dependable embedded systems; as well as the FP7-IST project MULTIFORM on integrated multi-formalism tool support for the design of networked embedded control systems. |
 Formal Methods for Components and Objects.pdf :: Unduh
|
| No. Panggil : | e20407983 |
| Entri tambahan-Nama orang : | |
| Subjek : | |
| Penerbitan : | Berlin: Springer-Verlag, 2011 |
| Sumber Pengatalogan: | |
| Tipe Konten: | |
| Tipe Media: | |
| Tipe Pembawa: | |
| Deskripsi Fisik: | |
| Tautan: | http://link.springer.com/book/10.1007%2F978-3-642-25271-6 |
| Lembaga Pemilik: | |
| Lokasi: |
| No. Panggil | No. Barkod | Ketersediaan |
|---|---|---|
| e20407983 | TERSEDIA |
| Ulasan: |
| Tidak ada ulasan pada koleksi ini: 20407983 |
