Assurance cases are developed and maintained in parallel with corresponding system models and therefore need to reference each other. Managing the correctness and consistency of interrelated safety argument and system models is essential for system dependability and is a nontrivial task. The model interface presented in this paper enables a uniform process of establishing and managing assurance case references to various types...

Otrzymano nowe pochodne azobenzenowych eterów koronowych. Są to związki z grupą alkilową, alkoksylową, hydroksylową lub dimetyloaminową w reszcie (resztach) aromatycznej jako boczny podstawnik. Badano ich właściwości jako jonoforów w membranowych elektrodach jonoselektywnych oraz właściwości chromo-jonoforowe w roztworach. Badano kompleksowanie jonów metali, w acetonitrylu,przez te korony, metodą spektrofotometryczną. Badano...

Dans les réseaux d'énergie électrique contemporains, on assiste à une diversification considérable des différentes sources d'énergie. L'énergie produite est transformée par une grande quantité de dispositifs électriques pour être finalement acheminée à diverses installations électriques. Il devient donc primordial d'améliorer les modèles des différents composants électriques afin de pouvoir prévoir les interactions entre eux et...