Johanna Nellen

Learn More
In this paper we address the safety analysis of chemical plants controlled by programmable logic controllers (PLCs). We consider sequential function charts (SFCs) for the programming of the PLCs, extended with the specication of the dynamic plant behavior. The resulting hybrid SFC models can be transformed to hybrid automata, opening the way to the(More)
The extracellular matrix glycoprotein tenascin-R (TN-R) has been implicated in a variety of cell-matrix interactions involved in the molecular control of axon guidance and neural cell migration during development and regeneration of the central nervous system (CNS). Whereas TN-R is amply expressed in the early postnatal and adult mammalian CNS, the protein(More)
Though there is an increasing need for computer scientists in our society, gifted young people with strong mathematical background, who would be well-suited for a study of computer science, often do not consider this choice because they have a wrong picture of computer science in mind. In this paper we present a new concept of collaborative learning to(More)
  • 1