Sökning: "compositional procedure"

Visar resultat 1 - 5 av 9 avhandlingar innehållade orden compositional procedure.

  1. 1. Procedure-Modular Verification of Temporal Safety Properties

    Författare :Siavash Soleimanifard; Dilian Gurov; Gerardo Schneider; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Modular Verification; Compositional Verification; Maximal Models; Model Checking; Temporal Properties;

    Sammanfattning : This thesis presents a fully automated technique for procedure-modular verification of control flow temporal safety properties. Procedure-modular verification is a natural instantiation of modular verification where modularity is achieved at the level of procedures. LÄS MER

  3. 2. Gör som jag säger! igen och igen : om lojalitet och lek i marknadsföringen: en beskrivning av legitimeringssystematik

    Författare :Jens Martin Svendsen; Pierre Guillet de Monthoux; Thomas Bay; Alf Rehn; Stockholms universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; description; situation; loyalty; customer; employee; marketing practice; action; recommendation; game; language; meaning; consciousness; pragmatism; Business studies; Företagsekonomi; företagsekonomi; Business Administration;

    Sammanfattning : Marknadsföring bildar ett system av kompetenser baserade på kunskap om förfarande. Beroende på hur förfarandet är beskrivet så faller kunskapen ut. LÄS MER

  4. 3. Algorithmic Verification of Procedural Programs in the Presence of Code Variability

    Författare :Siavash Soleimanifard; Dilian Gurov; Doron Peled; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis addresses the formal verification of temporal properties of procedural programs that are dynamically or statically configured by replacing, adapting, or adding new components. Dealing with such variable programs is challenging because a part of the program is either not available at verification time or changes frequently. LÄS MER

  5. 4. Atom Probe Tomography of Hard Nitride and Boride Thin Films

    Författare :David L. J. Engberg; Lars Hultman; Magnus Odén; Guido Schmitz; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Materials science; Atom probe tomography APT ; Ceramics; Nitrides; Borides;

    Sammanfattning : Hard ceramic thin films, including TiSiN, ZrAlN, ZrB2, and ZrTaB2, with applications for wear-resistant coatings, have been studied using atom probe tomography and correlated with several other analytical techniques, including X-ray diffraction, electron microscopy, and elastic recoil detection analysis. Outstanding obstacles for quantitative atom probe tomography of ceramic thin films have been surmounted. LÄS MER

  7. 5. An Insight into the Critical Role of Microstructure and Surface Preparation on Localized Conversion Coating Deposition on Cast Al Alloys

    Författare :Salil Sainis; Caterina Zanella; Ehsan Ghassemali; Marjorie Olivier; Jönköping University; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; aluminium alloys; cast Al-Si alloys; conversion coating treatment; cerium; localized deposition; surface preparation; microstructure; SEM; FIB-SEM; AFM-SKPFM; Aluminiumlegeringar; gjutna Al-Si legeringar; Cerium; lokal deposition; omvandlingsbeläggningsbehandling; förbehandling av yta; mikrostruktur; SEM; FIB-SEM; AFM-SKPFM;

    Sammanfattning : The spontaneous cerium conversion coating formation over aluminium alloys is affected by the chemical process conditions, the surface preparation prior to conversion treatment and the microstructure of the underlying alloy. Most research performed until now focus only on the former whereas the influence of the latter two is poorly understood. LÄS MER