@prefix dcat: <http://www.w3.org/ns/dcat#> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix vcard: <http://www.w3.org/2006/vcard/ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-hal-00672884v1> a dcat:Dataset ;
    dct:description "International audience" ;
    dct:identifier "hal-00672884" ;
    dct:issued "2026-05-27T13:10:05.169523"^^xsd:dateTime ;
    dct:language "en" ;
    dct:modified "2026-05-27T13:10:05.169529"^^xsd:dateTime ;
    dct:publisher <https://rec.harvest-normandie.data4citizen.com/organization/cce9db95-46d9-4dc2-84b6-764215d0a002> ;
    dct:title "A WCET Estimation Workflow Based on the TWSA Model of SystemC Designs" ;
    dcat:contactPoint [ a vcard:Organization ;
            vcard:fn "CCSD" ] ;
    dcat:distribution <https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-hal-00672884v1/resource/1ca948c8-866b-4990-b8e6-810a271db7d6> ;
    dcat:keyword "conference-papers",
        "design-and-verification-of-embedded-real-time-systems",
        "infoeu-reposemanticsconferenceobject",
        "infoinfo-arcomputer-science-cshardware-architecture-csar",
        "infoinfo-escomputer-science-csembedded-systems",
        "infoinfo-mocomputer-science-csmodeling-and-simulation",
        "symbolic-execution",
        "system-verification",
        "timed-systemc-waiting-state-automata",
        "wcet" ;
    dcat:landingPage <The%2032nd%20IEEE%20Real-Time%20Systems%20Symposium> .

<The%2032nd%20IEEE%20Real-Time%20Systems%20Symposium> a foaf:Document .

<https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-hal-00672884v1/resource/1ca948c8-866b-4990-b8e6-810a271db7d6> a dcat:Distribution ;
    dct:format "HTML" ;
    dct:issued "2026-05-27T13:10:05.218884"^^xsd:dateTime ;
    dct:modified "2026-05-27T13:10:05.115402"^^xsd:dateTime ;
    dct:title "A WCET Estimation Workflow Based on the TWSA Model of SystemC Designs" ;
    dcat:accessURL <https://hal.science/hal-00672884> .

<https://rec.harvest-normandie.data4citizen.com/organization/cce9db95-46d9-4dc2-84b6-764215d0a002> a foaf:Agent ;
    foaf:name "test_moissonnage_selune" .