Enabling tool support for formal analysis of ECA rules
- Författare
- AnnMarie Ericsson
- (AnnMarie Ericsson.)
- Genre
- theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of of Computer and Information Science, Linköpings universitet | 2009 | Sverige, Linköping | 150 sidor illustrationer | 978-91-7393-598-2 |
| Linköping University Electronic Press | 2009 | Sverige, Linköping | 1 onlineresurs (150 sidor) illustrationer | |
| Institutionen för kommunikation och information | 2006 | Sverige, Skövde |