<http://experiment.worldcat.org/entity/work/data/1152333910#Organization/ieee_xplore_service_en_ligne> <http://schema.org/name> "IEEE Xplore (Service en ligne)" .
<http://experiment.worldcat.org/entity/work/data/1152333910#Organization/ieee_xplore_service_en_ligne> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/1152333910#Topic/ingenierie_des_systemes_congres> <http://schema.org/name> "Ingénierie des systèmes Congrès." .
<http://experiment.worldcat.org/entity/work/data/1152333910#Topic/ingenierie_des_systemes_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1152333910#Topic/informatique_repartie> <http://schema.org/name> "Informatique répartie." .
<http://experiment.worldcat.org/entity/work/data/1152333910#Topic/informatique_repartie> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1152333910#Topic/ingenierie_des_systemes> <http://schema.org/name> "Ingénierie des systèmes." .
<http://experiment.worldcat.org/entity/work/data/1152333910#Topic/ingenierie_des_systemes> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/1152333910> <http://schema.org/about> <http://id.worldcat.org/fast/906987> .
<http://worldcat.org/entity/work/id/1152333910> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/1152333910#Meeting/ieee_international_high_assurance_systems_engineering_symposium_6e_2001_boca_raton_flor> .
<http://worldcat.org/entity/work/id/1152333910> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1152333910#Topic/ingenierie_des_systemes_congres> .
<http://worldcat.org/entity/work/id/1152333910> <http://schema.org/workExample> <http://www.worldcat.org/oclc/757091492> .
<http://worldcat.org/entity/work/id/1152333910> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n88292054> .
<http://worldcat.org/entity/work/id/1152333910> <http://schema.org/alternateName> "Impact of networking"@en .
<http://worldcat.org/entity/work/id/1152333910> <http://schema.org/name> "Sixth IEEE International Symposium on High Assurance Systems Engineering : [proceedings] : special topic: Impact of networking : 22-24 October, 2001, Boca Raton, Florida, USA"@en .
<http://worldcat.org/entity/work/id/1152333910> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1152333910#Topic/methodes_formelles_informatique_congres> .
<http://worldcat.org/entity/work/id/1152333910> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/1152333910> <http://schema.org/about> <http://id.worldcat.org/fast/1141455> .
<http://worldcat.org/entity/work/id/1152333910> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://worldcat.org/entity/work/id/1152333910> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1152333910#Topic/informatique_repartie> .
<http://worldcat.org/entity/work/id/1152333910> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1152333910#Organization/ieee_xplore_service_en_ligne> .
<http://worldcat.org/entity/work/id/1152333910> <http://schema.org/alternateName> "HASE 2001"@en .
<http://worldcat.org/entity/work/id/1152333910> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/1152333910#Meeting/ieee_international_high_assurance_systems_engineering_symposium_6th_2001_boca_raton_fla> .
<http://worldcat.org/entity/work/id/1152333910> <http://schema.org/genre> "Ressource Internet (Descripteur de forme)" .
<http://worldcat.org/entity/work/id/1152333910> <http://schema.org/workExample> <http://www.worldcat.org/oclc/48384331> .
<http://worldcat.org/entity/work/id/1152333910> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1152333910#Topic/systemes_informatiques_qualite_controle_congres> .
<http://worldcat.org/entity/work/id/1152333910> <http://schema.org/name> "Sixth IEEE International Symposium on High Assurance Systems Engineering [proceedings] : special topic: Impact of networking : 22-24 October, 2001, Boca Raton, Florida, USA" .
<http://worldcat.org/entity/work/id/1152333910> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008102927> .
<http://worldcat.org/entity/work/id/1152333910> <http://schema.org/name> "Sixth IEEE International Symposium on High Assurance Systems Engineering [proceedings] : special topic: Impact of networking : 22-24 October, 2001, Boca Raton, Florida, USA"@en .
<http://worldcat.org/entity/work/id/1152333910> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/1152333910> <http://schema.org/contributor> <http://viaf.org/viaf/149038566> .
<http://worldcat.org/entity/work/id/1152333910> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008111998> .
<http://worldcat.org/entity/work/id/1152333910> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1152333910#Topic/ingenierie_des_systemes> .
<http://worldcat.org/entity/work/id/1152333910> <http://schema.org/workExample> <http://www.worldcat.org/oclc/52722812> .
<http://experiment.worldcat.org/entity/work/data/1152333910#Topic/methodes_formelles_informatique_congres> <http://schema.org/name> "Méthodes formelles (Informatique) Congrès." .
<http://experiment.worldcat.org/entity/work/data/1152333910#Topic/methodes_formelles_informatique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1152333910#Topic/systemes_informatiques_qualite_controle_congres> <http://schema.org/name> "Systèmes informatiques Qualité Contrôle Congrès." .
<http://experiment.worldcat.org/entity/work/data/1152333910#Topic/systemes_informatiques_qualite_controle_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1152333910#Meeting/ieee_international_high_assurance_systems_engineering_symposium_6e_2001_boca_raton_flor> <http://schema.org/name> "IEEE International High-Assurance Systems Engineering Symposium (6e : 2001 : Boca Raton, Flor.)" .
<http://experiment.worldcat.org/entity/work/data/1152333910#Meeting/ieee_international_high_assurance_systems_engineering_symposium_6e_2001_boca_raton_flor> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1152333910#Meeting/ieee_international_high_assurance_systems_engineering_symposium_6e_2001_boca_raton_flor> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1152333910.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/1152333910.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/1152333910> .
<http://experiment.worldcat.org/entity/work/data/1152333910#Meeting/ieee_international_high_assurance_systems_engineering_symposium_6th_2001_boca_raton_fla> <http://schema.org/name> "IEEE International High-Assurance Systems Engineering Symposium (6th : 2001 : Boca Raton, Fla.)" .
<http://experiment.worldcat.org/entity/work/data/1152333910#Meeting/ieee_international_high_assurance_systems_engineering_symposium_6th_2001_boca_raton_fla> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1152333910#Meeting/ieee_international_high_assurance_systems_engineering_symposium_6th_2001_boca_raton_fla> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .