Essays about: "uppsats c"

Showing result 21 - 25 of 91 essays containing the words uppsats c.

  1. 21. Extracting scalable program models for TLA model checking

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Anders Ågren Thuné; Theo Puranen Åhfeldt; [2020]
    Keywords : ;

    Abstract : Program verification has long been of interest to researchers and practitioners for its role in asserting reliability in critical systems. Many such systems feature reactive behavior, where temporal properties are of interest. Consequently, a number of systems and program verification tools for dealing with temporal logic have been developed. READ MORE

  3. 22. It Takes Two to Tango: The Compatibility Between ECT Article 26 and EU Law – In the Light of Achmea and Opinion 1/17

    University essay from Lunds universitet/Juridiska institutionen; Lunds universitet/Juridiska fakulteten

    Author : Erik Källman; [2020]
    Keywords : EU law; Energy Charter Treaty; ECT; Achmea; Opinion 1 17; autonomy of EU law; autonomy; Investment law; international investment law; EU investment law; EU trade law; trade law; BIT; MIT; Bilateral Investment Agreements; Multilateral Investment Agreements; compatibility; CETA; Law and Political Science;

    Abstract : Förenligheten mellan ISDS-mekanismen i Artikel 26 i Energistadgefördraget (ECT) och EU rätt har länge varit föremål för diskussion inom EU. Denna diskussion har de senaste åren fått all mer uppmärksamhet, sedan EUdomstolen i mål C-284/16 Achmea dömde att ISDS-mekanismen i det bilaterala investeringsavtalet (BIT) mellan Nederländerna och Slovakien var oförenligt med EU rätten. READ MORE

  4. 23. Qualification of Tool for Static Code Analysis : Processes and Requirements for Approval of Static Code Analysis in the Aviation Industry

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Christopher Gustafson; Sam Florin; [2020]
    Keywords : Static code analysis; Tool qualification; Aviation industry; Code standard; Parasoft C C Test; Statisk kodanalys; Verktygskvalificering; Flygindustrin; Kodstandard; Parasoft C C Test;

    Abstract : In the aviation industry, the use of software development tools is not as easily adopted as in other industries. Due to the catastrophic consequences of software errors in airborne systems, software development processes has rigorous requirements. One of these requirements is that a code standard must be followed. READ MORE

  5. 24. "Like Ships in the Night": A thesis on the relationship between the EU and international law, and whether the implementation of UNSC Resolutions into the EU legal order has developed a rule of particular customary international law for the EU member states?

    University essay from Lunds universitet/Juridiska fakulteten; Lunds universitet/Juridiska institutionen

    Author : Katarina Bungerfeldt; [2020]
    Keywords : Public International Law; EU Law; Customary International Law; Particular Customary Law; UN Charter; Principle of Prevailing Effect; UNSC; Security Council; Primary Law; Human Rights; Fundamental Principles of EU Law; Law and Political Science;

    Abstract : Ur ett folkrättsligt perspektiv har EU en säregen karaktär, som gör att Unionen skiljer sig från andra internationella organisationer. Framför allt har EU åstadkommit en höggradig autonomi från såväl det internationella samfundet som medlemsstaternas nationella rättssystem. READ MORE

  6. 25. Elevated temperature tests of SiC experiment for MIST : KTH Student Satellite MIST

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Rasmus Ahlbäck; [2020]
    Keywords : Silicon carbide; SiC; transistor; student satellite; temperature; Kiselkarbid; SiC; transistor; studentsatellit; temperatur;

    Abstract : Electronics today rely heavily on silicon transistors which are unsuitable for extreme environments where temperatures potentially could reach up to 500◦C. Materials other than silicon has been proposed to solve this problem, one of which is silicon carbide. READ MORE