Sökning: "Integrated Formal Methods"

Visar resultat 1 - 5 av 41 avhandlingar innehållade orden Integrated Formal Methods.

1. 1. Safety Proofs for Automated Driving using Formal Methods

   Författare :Yuvaraj Selvaraj; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; safety argument; automata learning; supervisory control theory; Automated driving; theorem proving; formal methods; formal verification; model checking;

   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

3. 2. On Provably Correct Decision-Making for Automated Driving

   Författare :Yuvaraj Selvaraj; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; deductive verification; formal methods; supervisory control theory; formal verification; Automated driving; model checking; hybrid systems.; decision-making;

   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 several other benefits such as the possibility to provide independent mobility for people who cannot and/or should not drive. LÄS MER

4. 3. Housing finance methods in urban Tanzania : The case of households in Kinondoni Municipality, Dar es Salaam, Tanzania

   Författare :Egino Millanzi; Mats Wilhelmsson; Agnes Mwasumbi; Washington H.A. Olima; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Housing finance; finance methods; finance system; urban development; Bostadsfinansiering; finansieringsmetoder; finanssystem; stadsutveckling; Fastigheter och byggande; Real Estate and Construction Management;

   Sammanfattning : Effective housing finance methods require the interrelationships between the housing finance system components such as banking and capital markets, land registry, the housing sector, and macroeconomic and socioeconomic aspects. Nonetheless, despite the exclusion of the majority of the households by formal long-term housing finance methods, Tanzania has experienced substantial improvement in housing development in the last two decades. LÄS MER

5. 4. Integrating the Z notation and behavioural formalisms

   Författare :Kenji Taguchi; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Informatics; computer and systems science; Integrated Formal Methods; CCS; Z; Informatik; data- och systemvetenskap; Informatics; computer and systems science; Informatik; data- och systemvetenskap; datorteknik; Computer Systems;

   Sammanfattning : The last several years have witnessed an increasing interest in integrating different formalisms in the formal methods research community. Particularly a number of notations have been proposed by different authors which integrate existing state-based formalisms such as Z, VDM and B and behavioural formalisms such as CCS, CSP and Statecharts. LÄS MER

7. 5. Towards a functioning retail health market : Evaluating the integrated Community Case Management Intervention for Pediatric Febrile Illness in Drug Shops in Rural South Western Uganda

   Författare :Freddy Eric Kitutu; Andreas Martensson; Ib Bygbjerg; Uppsala universitet; []
   Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Integrated community case management; Malaria; Pneumonia symptoms; Drug shops; Retail health markets; Uganda; Under-five; Evaluation; Mixed-methods; Febrile illness; Universal Health Coverage; Medicinsk vetenskap; Medical Science;

   Sammanfattning : Objectives: This thesis examined the health systems effects of implementing the integrated Community Case Management (iCCM) intervention for paediatric febrile illnesses in a retail health market in South Western Uganda. More specifically, it evaluated drug seller interpretation of malaria Rapid Diagnostics Test (RDT) results (study I), adherence to iCCM guidelines (study II) and the intervention effect on households’ perceived quality of drug seller fever care and care-seeking choice. LÄS MER