| Tekijä(t): | Nummenmaa, Jyrki; Zhang, Zheying; Nummenmaa, Timo; Berki, Eleni; Guo, Jianmei; Wang, Yinglin |
| Nimeke: | On the Generation of DisCo Specifications from Functional Requirements |
| Vuosi: | 2010 |
| ISBN: | 978-951-44-8284-7 |
| Julkaisija: | Tampereen yliopisto |
| Sivumäärä: | 11 |
| Sarja ja numero: |
|
| ISSN: | 1795‐4274 |
| Tieteenala: | Tietojenkäsittelyoppi ja informaatiotieteet |
| Julkaisun tyyppi: | Erillisteos |
| Kieli: | en |
| URN: | urn:isbn:978-951-44-8284-7 |