Haku
Viitteet 1-1 / 1
Reusable formal architectures for networked systems
(Turku Centre for Computer Science (TUCS), 2013-09-13)
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 ...