Formal Modeling and Analysis of Timed Systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : Proceedings /
Selección de ponencias presentadas en la décima segunda Conferencia Internacional sobre Modelado Formal y Análisis de Sistemas Temporizados, celebrada en Florencia, Italia, en septiembre de 2014. Los textos que se incluyen abordan diversos temas relacionados con el modelado formal en el desarrollo d...
保存先:
| 団体著者: | |
|---|---|
| その他の著者: | , |
| フォーマット: | 会議録 図書 |
| 言語: | 英語 |
| 出版事項: |
Cham, Suiza :
Springer,
2014, c2014
|
| シリーズ: | (Lecture Notes in Computer Science ;
8711) |
| 主題: | |
| オンライン･アクセス: | Ver documento en línea |
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|
類似資料: Formal Modeling and Analysis of Timed Systems :
- Quantitative Evaluation of Systems : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014 : Proceedings /
- Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec, 2014 Berlin, Germany, June 3-5, 2014 : Proceedings /
- Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : Proceedings /
- Formal Methods in Macro-Biology : First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014 : Proceedings /
- Reversible Computation : 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014 : Proceedings /
- Computer Performance Engineering : 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014 : Proceedings /