<> <http://www.w3.org/2000/01/rdf-schema#comment> "The repository administrator has not yet configured an RDF license."^^<http://www.w3.org/2001/XMLSchema#string> .
<> <http://xmlns.com/foaf/0.1/primaryTopic> <https://publications.ut-capitole.fr/id/eprint/28489> .
<https://publications.ut-capitole.fr/id/eprint/28489> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/AcademicArticle> .
<https://publications.ut-capitole.fr/id/eprint/28489> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://publications.ut-capitole.fr/id/eprint/28489> <http://purl.org/dc/terms/title> "ARRAY(0x5595fda4e308)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://publications.ut-capitole.fr/id/eprint/28489> <http://purl.org/ontology/bibo/abstract> "ARRAY(0x5595fd9e3408)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://publications.ut-capitole.fr/id/eprint/28489> <http://purl.org/dc/terms/date> "2018" .
<https://publications.ut-capitole.fr/id/eprint/28489> <http://purl.org/dc/terms/creator> <https://publications.ut-capitole.fr/id/person/ext-79513f77f5bbeacc6d2d4085911e5afc> .
<https://publications.ut-capitole.fr/id/eprint/28489> <http://purl.org/ontology/bibo/authorList> <https://publications.ut-capitole.fr/id/eprint/28489#authors> .
<https://publications.ut-capitole.fr/id/eprint/28489#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://publications.ut-capitole.fr/id/person/ext-79513f77f5bbeacc6d2d4085911e5afc> .
<https://publications.ut-capitole.fr/id/eprint/28489> <http://purl.org/dc/terms/creator> <https://publications.ut-capitole.fr/id/person/ext-5bc10c251d1c22ca31c4d3df604d1b27> .
<https://publications.ut-capitole.fr/id/eprint/28489> <http://purl.org/ontology/bibo/authorList> <https://publications.ut-capitole.fr/id/eprint/28489#authors> .
<https://publications.ut-capitole.fr/id/eprint/28489#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://publications.ut-capitole.fr/id/person/ext-5bc10c251d1c22ca31c4d3df604d1b27> .
<https://publications.ut-capitole.fr/id/eprint/28489> <http://purl.org/dc/terms/creator> <https://publications.ut-capitole.fr/id/person/ext-4daef8023792a995c02626b283c2b065> .
<https://publications.ut-capitole.fr/id/eprint/28489> <http://purl.org/ontology/bibo/authorList> <https://publications.ut-capitole.fr/id/eprint/28489#authors> .
<https://publications.ut-capitole.fr/id/eprint/28489#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> <https://publications.ut-capitole.fr/id/person/ext-4daef8023792a995c02626b283c2b065> .
<https://publications.ut-capitole.fr/id/eprint/28489> <http://purl.org/dc/terms/creator> <https://publications.ut-capitole.fr/id/person/ext-62e549bf96d7cf78c735179a607119f3> .
<https://publications.ut-capitole.fr/id/eprint/28489> <http://purl.org/ontology/bibo/authorList> <https://publications.ut-capitole.fr/id/eprint/28489#authors> .
<https://publications.ut-capitole.fr/id/eprint/28489#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_4> <https://publications.ut-capitole.fr/id/person/ext-62e549bf96d7cf78c735179a607119f3> .
<https://publications.ut-capitole.fr/id/eprint/28489> <http://purl.org/dc/terms/creator> <https://publications.ut-capitole.fr/id/person/ext-2f9a73c8343980baf3b03d62b54dfcc4> .
<https://publications.ut-capitole.fr/id/eprint/28489> <http://purl.org/ontology/bibo/authorList> <https://publications.ut-capitole.fr/id/eprint/28489#authors> .
<https://publications.ut-capitole.fr/id/eprint/28489#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_5> <https://publications.ut-capitole.fr/id/person/ext-2f9a73c8343980baf3b03d62b54dfcc4> .
<https://publications.ut-capitole.fr/id/person/ext-62e549bf96d7cf78c735179a607119f3> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://publications.ut-capitole.fr/id/person/ext-62e549bf96d7cf78c735179a607119f3> <http://xmlns.com/foaf/0.1/givenName> "Bruno"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://publications.ut-capitole.fr/id/person/ext-62e549bf96d7cf78c735179a607119f3> <http://xmlns.com/foaf/0.1/familyName> "D'Ausbourg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://publications.ut-capitole.fr/id/person/ext-62e549bf96d7cf78c735179a607119f3> <http://xmlns.com/foaf/0.1/name> "Bruno D'Ausbourg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://publications.ut-capitole.fr/id/person/ext-79513f77f5bbeacc6d2d4085911e5afc> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://publications.ut-capitole.fr/id/person/ext-79513f77f5bbeacc6d2d4085911e5afc> <http://xmlns.com/foaf/0.1/givenName> "Ning"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://publications.ut-capitole.fr/id/person/ext-79513f77f5bbeacc6d2d4085911e5afc> <http://xmlns.com/foaf/0.1/familyName> "Ge"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://publications.ut-capitole.fr/id/person/ext-79513f77f5bbeacc6d2d4085911e5afc> <http://xmlns.com/foaf/0.1/name> "Ning Ge"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://publications.ut-capitole.fr/id/person/ext-2f9a73c8343980baf3b03d62b54dfcc4> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://publications.ut-capitole.fr/id/person/ext-2f9a73c8343980baf3b03d62b54dfcc4> <http://xmlns.com/foaf/0.1/givenName> "Yamine"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://publications.ut-capitole.fr/id/person/ext-2f9a73c8343980baf3b03d62b54dfcc4> <http://xmlns.com/foaf/0.1/familyName> "Aït-Ameur"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://publications.ut-capitole.fr/id/person/ext-2f9a73c8343980baf3b03d62b54dfcc4> <http://xmlns.com/foaf/0.1/name> "Yamine Aït-Ameur"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://publications.ut-capitole.fr/id/person/ext-4daef8023792a995c02626b283c2b065> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://publications.ut-capitole.fr/id/person/ext-4daef8023792a995c02626b283c2b065> <http://xmlns.com/foaf/0.1/givenName> "Eric"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://publications.ut-capitole.fr/id/person/ext-4daef8023792a995c02626b283c2b065> <http://xmlns.com/foaf/0.1/familyName> "Jenn"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://publications.ut-capitole.fr/id/person/ext-4daef8023792a995c02626b283c2b065> <http://xmlns.com/foaf/0.1/name> "Eric Jenn"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://publications.ut-capitole.fr/id/person/ext-5bc10c251d1c22ca31c4d3df604d1b27> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://publications.ut-capitole.fr/id/person/ext-5bc10c251d1c22ca31c4d3df604d1b27> <http://xmlns.com/foaf/0.1/givenName> "Arnaud"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://publications.ut-capitole.fr/id/person/ext-5bc10c251d1c22ca31c4d3df604d1b27> <http://xmlns.com/foaf/0.1/familyName> "Dieumegard"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://publications.ut-capitole.fr/id/person/ext-5bc10c251d1c22ca31c4d3df604d1b27> <http://xmlns.com/foaf/0.1/name> "Arnaud Dieumegard"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://publications.ut-capitole.fr/id/eprint/28489> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://publications.ut-capitole.fr/id/eprint/28489> <http://purl.org/ontology/bibo/presentedAt> <https://publications.ut-capitole.fr/id/event/ext-4655a489977a9449178d51b9a706e51e> .
<https://publications.ut-capitole.fr/id/event/ext-4655a489977a9449178d51b9a706e51e> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Conference> .
<https://publications.ut-capitole.fr/id/event/ext-4655a489977a9449178d51b9a706e51e> <http://purl.org/dc/terms/title> "TASE (11th International Symposium on Theoretical Aspects of Software Engineering)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://publications.ut-capitole.fr/id/event/ext-4655a489977a9449178d51b9a706e51e> <http://purl.org/NET/c4dm/event.owl#place> <https://publications.ut-capitole.fr/id/location/ext-bada69ba256ee935f1f07c8620343765> .
<https://publications.ut-capitole.fr/id/event/ext-4655a489977a9449178d51b9a706e51e> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/NET/c4dm/event.owl#Event> .
<https://publications.ut-capitole.fr/id/event/ext-4655a489977a9449178d51b9a706e51e> <http://purl.org/NET/c4dm/event.owl#place> <https://publications.ut-capitole.fr/id/location/ext-bada69ba256ee935f1f07c8620343765> .
<https://publications.ut-capitole.fr/id/location/ext-bada69ba256ee935f1f07c8620343765> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2003/01/geo/wgs84_pos#SpatialThing> .
<https://publications.ut-capitole.fr/id/location/ext-bada69ba256ee935f1f07c8620343765> <http://www.w3.org/2000/01/rdf-schema#label> "Sophia Antipolis (France)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://publications.ut-capitole.fr/id/eprint/28489> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<https://publications.ut-capitole.fr/id/eprint/28489> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ConferenceItemEPrint> .
<https://publications.ut-capitole.fr/id/eprint/28489> <http://purl.org/dc/terms/isPartOf> <https://publications.ut-capitole.fr/id/repository> .
<https://publications.ut-capitole.fr/id/eprint/28489> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://publications.ut-capitole.fr/id/eprint/28489/> .
<https://publications.ut-capitole.fr/id/eprint/28489/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #28489 \n\nFormal development process of safety critical embedded human machine interface systems\n\n" .
<https://publications.ut-capitole.fr/id/eprint/28489/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<https://publications.ut-capitole.fr/id/eprint/28489/> <http://xmlns.com/foaf/0.1/primaryTopic> <https://publications.ut-capitole.fr/id/eprint/28489> .
<https://publications.ut-capitole.fr/id/subject/subjects_INFO> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<https://publications.ut-capitole.fr/id/subject/subjects_INFO> <http://www.w3.org/2004/02/skos/core#prefLabel> "H- INFORMATIQUE"@en .
<https://publications.ut-capitole.fr/id/eprint/28489> <http://purl.org/dc/terms/subject> <https://publications.ut-capitole.fr/id/subject/subjects_INFO> .