3 papers
cs.SE2002
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems
Andree Blotz, Franz Huber, Heiko Loetzbeyer +3
In this paper we outline a software development process for safety-critical systems that aims at combining some of the specific strengths of model-based development with those of p…
hep-ph1995
Electromagnetic Properties of the SU(3) Octet Baryons in the semibosonized Nambu--Jona-Lasinio Model
Hyun-Chul Kim, A. Blotz, M. V. Polyakov +1
The electromagnetic properties of the SU(3) octet baryons are investigated in the semibosonized SU(3) Nambu--Jona-Lasinio model.The rotational and strange quark mass correc…
hep-ph1994
Isospin Mass Splittings and the $\ms$ Corrections in the Semibosonized SU(3)-NJL-Model
Andree Blotz, K. Goeke, M. Praszalowicz
The mass splittings of hyperons including the isospin splittings are calculated with $O(\ms^2)$ and $O(\ms \dm)$ accuracy respectively within the semibosonized SU(3)-NJL model. The…