Formal modelling and analysis of socio-technical systems
Probst, Christian, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Hansen, Rene Rydhof
(2016)
Formal modelling and analysis of socio-technical systems.
In:
Semantics, Logics, and Calculi.
Springer International.
.
[Book Section]
Item Type: | Book Section |
---|---|
Research Areas: | A. > School of Science and Technology > Computer Science |
Item ID: | 19715 |
Depositing User: | Florian Kammueller |
Date Deposited: | 04 May 2016 09:37 |
Last Modified: | 13 Oct 2016 14:39 |
URI: | https://eprints.mdx.ac.uk/id/eprint/19715 |
Actions (login required)
![]() |
View Item |
Statistics
Downloads
Activity Overview
6 month trend
6 month trend
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)