Treffer 1 - 8 von 8 für Suche 'Ochi, Hanen', Suchdauer: 0,60s Treffer weiter einschränken
  1. 1
    Checking Compatibility of Web Services Behaviorally

    Checking Compatibility of Web Services Behaviorally von Klai, Kais, Ochi, Hanen


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Abstraction and modular verification of inter-enterprise business processes

    Abstraction and modular verification of inter-enterprise business processes von Ochi, Hanen

    Volltext bestellen
    Dissertation

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Symbolic Observation Graph-Based Generation of Test Paths

    Symbolic Observation Graph-Based Generation of Test Paths von Klai, Kais, Bennani, Mohamed Taha, Arias, Jaime, Desel, Jörg, Ochi, Hanen


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Generic and Specific Compatibility Criteria for Web Service composition: formal abstraction and modular verification approach

    Generic and Specific Compatibility Criteria for Web Service composition: formal abstraction and modular verification approach von Klai, Kais, Tata, Samir, Ochi, Hanen


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Generic and Specific Compatibility Criteria for Web Service Composition: Formal Abstraction and Modular Verification Approach1

    Generic and Specific Compatibility Criteria for Web Service Composition: Formal Abstraction and Modular Verification Approach1 von Klai, Kais, Tata, Samir, Ochi, Hanen


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    A Counterexample-Based Incremental and Modular Verification Approach

    A Counterexample-Based Incremental and Modular Verification Approach von André, Étienne, Klai, Kais, Ochi, Hanen, Petrucci, Laure


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Checking Compatibility of Web Services Using SOGs

    Checking Compatibility of Web Services Using SOGs von Klai, K., Ochi, H.

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Genetic analyses reveal a role for vitamin D insufficiency in HCV-associated hepatocellular carcinoma development

    Genetic analyses reveal a role for vitamin D insufficiency in HCV-associated hepatocellular carcinoma development

    Volltext bestellen
    Web Resource

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: