Selaus tekijän mukaan kokoelmassa Väitöskirjoja
-
Reusable formal architectures for networked systems
Kamali, Maryam
TUCS Dissertations : 162 (Turku Centre for Computer Science (TUCS), 13.09.2013)Today's networked systems are becoming increasingly complex and diverse. The current simulation and runtime verification techniques do not provide support for developing such systems efficiently; moreover, the reliability ...