Sökning: "Formal"
Visar resultat 1 - 5 av 1698 avhandlingar innehållade ordet Formal.
1. Formal Methods and Safety for Automated Vehicles: Modeling, Abstractions, and Synthesis of Tactical Planners
Sammanfattning : One goal of developing automated road vehicles is to completely free people from driving tasks. Automated vehicles with no human driver must handle all traffic situations that human drivers are expected to handle, possibly more. LÄS MER
2. Supporting knowledge management with information technology : the significance of formal and informal structures
Sammanfattning : Knowledge Management (KM) is a relatively young field of research. It has traditionally aimed at managing work in organisations often by the assistance of supporting Information Technology (IT).In this thesis, the definition of KM is expressed as facilitating the intertwined process of learning and knowing in an organisation. LÄS MER
3. Framing perceived values of education : when perspectives of learning and ICTs are related
Sammanfattning : This thesis offers dialogue about the relations between learning and Information and Communication Technologies (ICTs). The dialogue is guided by the question of how to design education to increase perceived values of learning. LÄS MER
4. Formal Specification and Verification of Safety-Critical Software
Sammanfattning : This thesis is about formal specification and formal verification of software and consists of three different parts. In the first two parts, the formal specification language OCL is treated in two different contexts. The third part describes a technique for analysing the consequences of hardware faults as part of formal software verification. LÄS MER
5. Safety Proofs for Automated Driving using Formal Methods
Sammanfattning : The introduction of driving automation in road vehicles can potentially reduce road traffic crashes and significantly improve road safety. Automation in road vehicles also brings other benefits such as the possibility to provide independent mobility for people who cannot and/or should not drive. LÄS MER