Sökning: "lindner"
Visar resultat 1 - 5 av 18 avhandlingar innehållade ordet lindner.
1. Proving Safety and Security of Binary Programs
Sammanfattning : With the increasing ubiquity of computing devices, their correct and secure operation is of growing importance. In particular, critical components that provide core functionalities or process sensitive data have to operate as intended. LÄS MER
2. Robust industrial automation software: outsets for non-determinism and real-time execution
Sammanfattning : Studies about the industrial standard IEC 61499 and its relation to the RTFM Model of Computation represent the basis of this thesis. An overview of industrial automation software in general and in the scope of Svenska Kraftnät introduces the subject of software related issues. LÄS MER
3. !secure(system) <=?=> !safe(system) : On Security and Safety of Industrial Software Systems
Sammanfattning : The focus of our research work is on readily accessible, embedded, real-time development with concurrency support. To this end, we develop the Real-Time For the Masses (RTFM) programming framework with a model of computation based on tasks and resources and that stipulates a timing semantics. LÄS MER
4. Aspects on the electronic structure of matter
Sammanfattning : .... LÄS MER
5. Structural and functional brain connectivity abnormalities associated with adolescent conduct disorder in females
Sammanfattning : Background: Antisocial behavior (ASB) in childhood and adolescence is indexed by the diagnosis of conduct disorder (CD) and is associated with high rates of comorbid mental disorders, such as anxiety, depression, alcohol and drug dependence, as well as maltreatment. Elevated levels of psychopathic traits further complicate the clinical picture of adolescents with CD. LÄS MER