<http://experiment.worldcat.org/entity/work/data/103981641#Meeting/international_conference_of_ada_europe_4_1999_santander> <http://schema.org/name> "International Conference of Ada Europe (4 : 1999 : Santander)" .
<http://experiment.worldcat.org/entity/work/data/103981641#Meeting/international_conference_of_ada_europe_4_1999_santander> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/103981641#Meeting/international_conference_of_ada_europe_4_1999_santander> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/tolerance_panne> <http://schema.org/name> "tolérance panne." .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/tolerance_panne> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/103981641.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/103981641.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/103981641> .
<http://experiment.worldcat.org/entity/work/data/103981641#Organization/ada_europe> <http://schema.org/name> "Ada Europe." .
<http://experiment.worldcat.org/entity/work/data/103981641#Organization/ada_europe> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/sistemas_operacionais_computadores> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/methode_formelle> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/contributor> <http://viaf.org/viaf/124629883> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/zuverlassigkeit> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/workExample> <http://www.worldcat.org/oclc/860133895> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/name> "Reliable Software Technologies -- Ada-Europe' 99 1999 Ada-Europe International Conference on Reliable Software Technologies Santander, Spain, June 7-11, 1999 Proceedings" .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/name> "Reliable software technologies - Ada-Europe '99 : proceedings" .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/name> "Reliable software technologies - Ada-Europe '99 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999 : proceedings" .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/name> "Reliable software technologies - Ada-Europe '99 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999 : proceedings"@en .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/genre> "Online resources"@en .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/workExample> <http://www.worldcat.org/oclc/756602723> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/tolerance_panne> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2722107384> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/103981641#Organization/ada_europe_international_conference> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/logiciels_fiabilite_congres> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/103981641#Meeting/ada_europe_international_conference_on_reliable_software_technologies_1999_santander_cantabria> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/workExample> <http://www.worldcat.org/oclc/889894745> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/workExample> <http://www.worldcat.org/oclc/723048284> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://id.worldcat.org/fast/872451> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/alternateName> "Ada-Europe'99" .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/genre> "Conference papers and proceedings" .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/103981641#Meeting/international_conference_on_reliable_software_technologies_4_1999_santander> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/ada_95_langage_de_programmation_congres> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/engenharia_de_programacao_software> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/genre> "Electronic books"@en .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/genre> "Santander (1999)" .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/softwareentwicklung> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/ada_langage_de_programmation_congres> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/fiabilite_du_logiciel> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/workExample> <http://www.worldcat.org/oclc/856825930> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/103981641#Meeting/ada_europe_international_conference_on_reliable_software_technologies_1999_santander> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh89003285> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/workExample> <http://www.worldcat.org/oclc/213931366> .
<http://worldcat.org/entity/work/id/103981641> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/description> "This book constitutes the refereed proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe '99, held in Santander, Spain in June 1999. The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a large number of submissions. All current issues associated with the Ada programming language are addressed. The papers are organized in sections on Ravenscar profile and high-integrity systems, software architectures and design, testing, formal methods, education, distributed systems, real-time scheduling and kernels, tools, hardware/software codesign, fault-tolerance, and case studies."@en .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/genre> "Congressen (vorm)"@en .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/workExample> <http://www.worldcat.org/oclc/716375530> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/103981641#Organization/ada_europe_international_conference_on_reliable_software_technologies> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/genre> "Kongress" .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://id.worldcat.org/fast/872585> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/103981641#Meeting/international_conference_on_reliable_software_technologies_&lt_4_1999_santander&gt> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/name> "Reliable software technologies : Ada-Europe '99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7 - 11, 1999 ; proceedings" .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/103981641#Meeting/ada_europe_international_conference_on_reliable_software_technologies_1999_santander_spain> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2638363052> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/workExample> <http://www.worldcat.org/oclc/85926776> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/name> "Reliable software technologies - Ada-Europe'99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, june 1999 : proceedings" .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/workExample> <http://www.worldcat.org/oclc/699838519> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/workExample> <http://www.worldcat.org/oclc/444079381> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/name> "Reliable software technologies : Ada-Europe '99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999 : proceedings" .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/workExample> <http://www.worldcat.org/oclc/226114657> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/software> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/name> "Reliable software technologies proceedings" .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/programmatuurtechniek> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/name> "Reliable software technologies - Ada-Europe'99 : 1999 Ada-Europe international conference on reliable software technologies, Santander, Spain, June 7-11, 1999 : proceedings" .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008101501> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/workExample> <http://www.worldcat.org/oclc/807094777> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/ada_llenguatge_de_programacio_congressos> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/name> "Reliable software technologies - Ada Europe'99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, proceedings" .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2628425488> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/ada_95> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/information_systems> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/workExample> <http://www.worldcat.org/oclc/473995343> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/workExample> <http://www.worldcat.org/oclc/41445817> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/hardwareentwurf> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/workExample> <http://www.worldcat.org/oclc/873555602> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/architecture_logiciel> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/softwareschutz> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/name> "Reliable software technologies - Ada-Europe '99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999 : proceedings" .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/ada_langage_de_programmation_logiciel_fiabilite_congres> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/ada_langage_de_programmation> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/creator> <http://viaf.org/viaf/148645766> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/workExample> <http://www.worldcat.org/oclc/845260962> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/computer_communication_networks> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/ada> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/name> "Reliable software technologies - Ada-Europe '99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7 - 11, 1999 ; proceedings" .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/verification_logiciel> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh87007398> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/103981641#Meeting/ada_europe_international_conference_on_reliable_software_technologies_1999_06_07_11_santander> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/103981641#Meeting/ada_europe_international_conference_on_reliable_software_technologies_santander_1999_06> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/echtzeitsystem> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/verteiltes_system> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Place/santander_&lt_1999&gt> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/workExample> <http://www.worldcat.org/oclc/801039314> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/alternateName> "Reliable software technologies" .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2738646223> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/workExample> <http://www.worldcat.org/oclc/845699981> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/programacao_de_computadores> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/103981641#Organization/ada_europe_international_conference_on_reliable_software_technologies> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/103981641#Organization/ada_europe> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/workExample> <http://www.worldcat.org/oclc/243487152> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://id.worldcat.org/fast/1124185> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/name> "Reliable Software Technologies - Ada-Europe '99"@en .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/kongress> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/name> "Reliable software technologies Ada-Europe '99 : 1999 Ada-Europe international conference on reliable software technologies, Santander, Spain, June 7-11, 1999 proceedings" .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/technologie_logiciel> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/name> "Reliable software technologies - Ada-Europe '99 1999 Ada Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7 - 11, 1999 ; proceedings" .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/eingebettetes_system> .
<http://worldcat.org/entity/work/id/103981641> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n85307076> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/name> "Reliable software technologies - Ada-Europe '99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 1999 : proceedings"@en .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/103981641#Meeting/international_conference_of_ada_europe_4_1999_santander> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/name> "Reliable software technologies - ADA-Europe '99 : 1999 Ada-Europe International Conference on Reliable Software Technologies Santander, Spain, June 7 - 11, 1999 : proceedings" .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2638363052> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/103981641#Topic/programes_d_ordinador_congressos> .
<http://worldcat.org/entity/work/id/103981641> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2638363052> .
<http://experiment.worldcat.org/entity/work/data/103981641#Organization/ada_europe_international_conference> <http://schema.org/name> "Ada-Europe. International Conference" .
<http://experiment.worldcat.org/entity/work/data/103981641#Organization/ada_europe_international_conference> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/computer_communication_networks> <http://schema.org/name> "Computer Communication Networks." .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/computer_communication_networks> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/programes_d_ordinador_congressos> <http://schema.org/name> "Programes d'ordinador Congressos." .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/programes_d_ordinador_congressos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/eingebettetes_system> <http://schema.org/name> "Eingebettetes System." .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/eingebettetes_system> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/eingebettetes_system> <http://schema.org/name> "Eingebettetes System" .
<http://experiment.worldcat.org/entity/work/data/103981641#Meeting/ada_europe_international_conference_on_reliable_software_technologies_1999_santander_spain> <http://schema.org/name> "Ada-Europe International Conference on Reliable Software Technologies (1999 : Santander, Spain)" .
<http://experiment.worldcat.org/entity/work/data/103981641#Meeting/ada_europe_international_conference_on_reliable_software_technologies_1999_santander_spain> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/103981641#Meeting/ada_europe_international_conference_on_reliable_software_technologies_1999_santander_spain> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/103981641#Meeting/ada_europe_international_conference_on_reliable_software_technologies_1999_santander_spain> <http://schema.org/name> "Ada-Europe international conference on reliable software technologies ((1999 : Santander,Spain))" .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/technologie_logiciel> <http://schema.org/name> "technologie logiciel." .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/technologie_logiciel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/ada_langage_de_programmation_congres> <http://schema.org/name> "Ada (langage de programmation) Congrès." .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/ada_langage_de_programmation_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/103981641#Meeting/international_conference_on_reliable_software_technologies_&lt_4_1999_santander&gt> <http://schema.org/name> "International Conference on Reliable Software Technologies &lt;4, 1999, Santander&gt;" .
<http://experiment.worldcat.org/entity/work/data/103981641#Meeting/international_conference_on_reliable_software_technologies_&lt_4_1999_santander&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/103981641#Meeting/international_conference_on_reliable_software_technologies_&lt_4_1999_santander&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/ada_langage_de_programmation_logiciel_fiabilite_congres> <http://schema.org/name> "ada (langage de programmation) logiciel - fiabilité [congrès]" .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/ada_langage_de_programmation_logiciel_fiabilite_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/logiciels_fiabilite_congres> <http://schema.org/name> "Logiciels Fiabilité Congrès." .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/logiciels_fiabilite_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/ada_llenguatge_de_programacio_congressos> <http://schema.org/name> "ADA (Llenguatge de programació) Congressos." .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/ada_llenguatge_de_programacio_congressos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/103981641#Organization/ada_europe_international_conference_on_reliable_software_technologies> <http://schema.org/name> "Ada-Europe International Conference on Reliable Software Technologies" .
<http://experiment.worldcat.org/entity/work/data/103981641#Organization/ada_europe_international_conference_on_reliable_software_technologies> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/103981641#Organization/ada_europe_international_conference_on_reliable_software_technologies> <http://schema.org/name> "Ada-Europe International Conference on Reliable Software Technologies :" .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/verification_logiciel> <http://schema.org/name> "vérification logiciel." .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/verification_logiciel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/ada> <http://schema.org/name> "ADA." .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/ada> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/ada> <http://schema.org/name> "Ada." .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/softwareentwicklung> <http://schema.org/name> "Softwareentwicklung." .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/softwareentwicklung> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/softwareentwicklung> <http://schema.org/name> "Softwareentwicklung" .
<http://experiment.worldcat.org/entity/work/data/103981641#Meeting/international_conference_on_reliable_software_technologies_4_1999_santander> <http://schema.org/name> "International Conference on Reliable Software Technologies (4 : 1999 : Santander)" .
<http://experiment.worldcat.org/entity/work/data/103981641#Meeting/international_conference_on_reliable_software_technologies_4_1999_santander> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/103981641#Meeting/international_conference_on_reliable_software_technologies_4_1999_santander> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/103981641#Meeting/ada_europe_international_conference_on_reliable_software_technologies_1999_santander> <http://schema.org/name> "Ada-Europe International Conference on Reliable Software Technologies (1999 : Santander)" .
<http://experiment.worldcat.org/entity/work/data/103981641#Meeting/ada_europe_international_conference_on_reliable_software_technologies_1999_santander> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/103981641#Meeting/ada_europe_international_conference_on_reliable_software_technologies_1999_santander> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/103981641#Meeting/ada_europe_international_conference_on_reliable_software_technologies_1999_06_07_11_santander> <http://schema.org/name> "Ada-Europe International Conference on Reliable Software Technologies (1999.06.07-11 Santander)" .
<http://experiment.worldcat.org/entity/work/data/103981641#Meeting/ada_europe_international_conference_on_reliable_software_technologies_1999_06_07_11_santander> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/103981641#Meeting/ada_europe_international_conference_on_reliable_software_technologies_1999_06_07_11_santander> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/echtzeitsystem> <http://schema.org/name> "Echtzeitsystem." .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/echtzeitsystem> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/echtzeitsystem> <http://schema.org/name> "Echtzeitsystem" .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/software> <http://schema.org/name> "Software." .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/software> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/hardwareentwurf> <http://schema.org/name> "Hardwareentwurf." .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/hardwareentwurf> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/hardwareentwurf> <http://schema.org/name> "Hardwareentwurf" .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/kongress> <http://schema.org/name> "Kongress." .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/kongress> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/architecture_logiciel> <http://schema.org/name> "architecture logiciel." .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/architecture_logiciel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/zuverlassigkeit> <http://schema.org/name> "Zuverlässigkeit." .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/zuverlassigkeit> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/zuverlassigkeit> <http://schema.org/name> "Zuverlässigkeit" .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/programacao_de_computadores> <http://schema.org/name> "Programacao de computadores." .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/programacao_de_computadores> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/sistemas_operacionais_computadores> <http://schema.org/name> "Sistemas operacionais (computadores)" .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/sistemas_operacionais_computadores> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/engenharia_de_programacao_software> <http://schema.org/name> "Engenharia de programacao (software)" .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/engenharia_de_programacao_software> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/verteiltes_system> <http://schema.org/name> "Verteiltes System." .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/verteiltes_system> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/verteiltes_system> <http://schema.org/name> "Verteiltes System" .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/ada_langage_de_programmation> <http://schema.org/name> "Ada (Langage de programmation)" .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/ada_langage_de_programmation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/methode_formelle> <http://schema.org/name> "méthode formelle." .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/methode_formelle> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/fiabilite_du_logiciel> <http://schema.org/name> "Fiabilité du logiciel." .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/fiabilite_du_logiciel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/programmatuurtechniek> <http://schema.org/name> "Programmatuurtechniek." .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/programmatuurtechniek> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/ada_95_langage_de_programmation_congres> <http://schema.org/name> "Ada 95 (langage de programmation) Congrès." .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/ada_95_langage_de_programmation_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/information_systems> <http://schema.org/name> "Information Systems." .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/information_systems> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/103981641#Meeting/ada_europe_international_conference_on_reliable_software_technologies_1999_santander_cantabria> <http://schema.org/name> "Ada-Europe International Conference on Reliable Software Technologies (1999 : Santander, Cantabria)" .
<http://experiment.worldcat.org/entity/work/data/103981641#Meeting/ada_europe_international_conference_on_reliable_software_technologies_1999_santander_cantabria> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/103981641#Meeting/ada_europe_international_conference_on_reliable_software_technologies_1999_santander_cantabria> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/103981641#Meeting/ada_europe_international_conference_on_reliable_software_technologies_santander_1999_06> <http://schema.org/name> "Ada-Europe International Conference on Reliable Software Technologies (Santander) (1999/06)" .
<http://experiment.worldcat.org/entity/work/data/103981641#Meeting/ada_europe_international_conference_on_reliable_software_technologies_santander_1999_06> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/103981641#Meeting/ada_europe_international_conference_on_reliable_software_technologies_santander_1999_06> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/ada_95> <http://schema.org/name> "ADA-95." .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/ada_95> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/ada_95> <http://schema.org/name> "ADA 95." .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/ada_95> <http://schema.org/name> "Ada 95." .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/ada_95> <http://schema.org/name> "ADA 95" .
<http://experiment.worldcat.org/entity/work/data/103981641#Place/santander_&lt_1999&gt> <http://schema.org/name> "Santander &lt;1999&gt;" .
<http://experiment.worldcat.org/entity/work/data/103981641#Place/santander_&lt_1999&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Place> .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/softwareschutz> <http://schema.org/name> "Softwareschutz." .
<http://experiment.worldcat.org/entity/work/data/103981641#Topic/softwareschutz> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .