Leveraging Applications of Formal Methods, Verification and Validation : Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part II /
Obra en dos volúmenes que reúne las ponencias del sexto Simposio internacional sobre el aprovechamiento de las aplicaciones de métodos formales, verificación y validación, celebrado en Corfú, Grecia, en octubre de 2014. Las contribuciones que se incluyen en esta segunda parte abordan líneas temática...
保存先:
| 団体著者: | |
|---|---|
| その他の著者: | , |
| フォーマット: | 会議録 図書 |
| 言語: | 英語 |
| 出版事項: |
Cham, Suiza :
Springer,
2014, c2014
|
| シリーズ: | (Lecture Notes in Computer Science ;
8803) |
| 主題: | |
| オンライン･アクセス: | Ver documento en línea |
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|
| 要約: | Obra en dos volúmenes que reúne las ponencias del sexto Simposio internacional sobre el aprovechamiento de las aplicaciones de métodos formales, verificación y validación, celebrado en Corfú, Grecia, en octubre de 2014. Las contribuciones que se incluyen en esta segunda parte abordan líneas temáticas relacionadas con la ingeniería de sistemas virtualizados, comprobación de modelos estadísticos, pruebas basadas en riesgos, flujos de trabajo y sistemas médicos en línea, evaluación y análisis de programas, proceso e integración en red de datos médicos, y desarrollo formal de sistemas complejos. |
|---|---|
| 物理的記述: | 1 libro electrónico en línea (XVIII, 644 p.) 1 recurso en línea |
| ISBN: | 978-3-662-45231-8 |
| アクセス: | Licencias ilimitadas |