Publicações

Dependability Analysis and Verification for Connected Systems

AuthID
P-00K-KJY

Author(s)

Giandomenico, FelicitaDi

Kwiatkowska, MartaZ.

Martinucci, Marco

Masci, Paolo

Qu, Hongyang

Editor(es)

Tiziana Margaria; Bernhard Steffen

Tipo de Documento

Proceedings Paper

Year published

2010

Publicado

in Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 6416, Número: PART 2, Páginas: 263-277

Conference

4Th International Symposium on Leveraging Applications, Isola 2010, Date: 18 October 2010 through 21 October 2010, Location: Heraklion, Crete, Patrocinadores: European Association of Software Science and Technology (EASST)

Indexing