Formal methods for the quantitative evaluation of collective adaptive systems. 16th international school on formal methods for the design of computer, communication, and software systems, SFM 2016, Bertinoro, Italy, June 20--24, 2016. Advanced lectures (Q295832)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Formal methods for the quantitative evaluation of collective adaptive systems. 16th international school on formal methods for the design of computer, communication, and software systems, SFM 2016, Bertinoro, Italy, June 20--24, 2016. Advanced lectures |
scientific article; zbMATH DE number 6593047
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal methods for the quantitative evaluation of collective adaptive systems. 16th international school on formal methods for the design of computer, communication, and software systems, SFM 2016, Bertinoro, Italy, June 20--24, 2016. Advanced lectures |
scientific article; zbMATH DE number 6593047 |
Statements
Formal methods for the quantitative evaluation of collective adaptive systems. 16th international school on formal methods for the design of computer, communication, and software systems, SFM 2016, Bertinoro, Italy, June 20--24, 2016. Advanced lectures (English)
0 references
13 June 2016
0 references
