On Symbolic Semantics for Name-decorated Contexts
A formal approach to component adaptation
Synapses as stochastic concurrent systems
A framework for specifying and verifying the behaviour of open systems
Stochastic models for the in silico simulation of synaptic processes
102 2nd Railway Technology (2014) Investigations in the Urgent Phase
089 CC2011 Crete (2011) Rail Straightness Control in Service