Temporal Patterns for Model Checking: Fid-Bau Portal

Temporal Patterns for Model Checking

Verlinde, H. / Rijksuniversiteit te Gent

Zugriff

Zugriff über TIB

Verfügbarkeit in meiner Bibliothek prüfen

Seitennavigation

Dokumentinformationen

Ähnliche Titel

Exportieren, teilen und zitieren

Temporal Patterns for Model Checking

Verlinde, H. / Rijksuniversiteit te Gent

Temporal Patterns for Model Checking

Verlinde, H. / Rijksuniversiteit te Gent

Zugriff

Zugriff über TIB

Verfügbarkeit in meiner Bibliothek prüfen

Seitennavigation

Dokumentinformationen

Ähnliche Titel

Exportieren, teilen und zitieren

Dokumentinformationen

Titel:

Temporal Patterns for Model Checking

Beteiligte:

Verlinde, H. (Autor:in) / Rijksuniversiteit te Gent

Kongress:

4th, Faculteit Toegepaste Wetenschappen PhD symposium ; 2003 ; Gent, Belgium

Erschienen in:

Faculteit Toegepaste Wetenschappen PhD symposium ; 28

UGENT FTW DOCTORAATSSYMPOSIUM

Erscheinungsdatum:

01.01.2003

Format / Umfang:

28 pages

Anmerkungen:

CD-ROM in pocket attached to inside back cover of book of abstracts.; PAPERS HELD ON CD-ROM

Medientyp:

Aufsatz (Konferenz)

Format:

Sprache:

Englisch

Schlagwörter:

Toegepaste wetenschappen , FTW , Applied sciences

UL Muram, Faiz / Tran, Huy / Zdun, Uwe | BASE | 2017

Freier Zugriff

Towards Containment Checking of Behaviour in Architectural Patterns

Ul Muram, Faiz / Tran, Huy / Zdun, Uwe | BASE | 2017

Freier Zugriff

Model Checking Concurrent Systems Using Temporal Logics ; Automatische Verifikation paralleler Systeme mittels temporaler Logiken

Mennicke, Roy | BASE | 2015

Freier Zugriff

THREE-DIMENSIONAL MODEL CHECKING DEVICE AND THREE-DIMENSIONAL MODEL CHECKING PROGRAM

HAYAKAWA TAKATOSHI | Europäisches Patentamt | 2022

Freier Zugriff

A statistical model of rainfall and temporal patterns

Lambert, M. / Kuczera, G. / International Association for Hydraulic Research et al. | British Library Conference Proceedings | 1996

Nach oben