<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns:burst="http://xmlns.com/burst/0.1/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" xmlns="http://purl.org/rss/1.0/" xmlns:admin="http://webns.net/mvcb/" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:syn="http://purl.org/rss/1.0/modules/syndication/" xmlns:swrc="http://swrc.ontoware.org/ontology#" xmlns:cc="http://web.resource.org/cc/"><channel rdf:about="https://puma.ub.uni-stuttgart.de/tag/optimisation_algorithm%20computers%20hardware"><title>PUMA publications for /tag/optimisation_algorithm%20computers%20hardware</title><link>https://puma.ub.uni-stuttgart.de/tag/optimisation_algorithm%20computers%20hardware</link><description>PUMA RSS feed for /tag/optimisation_algorithm%20computers%20hardware</description><dc:date>2026-04-04T22:02:03+02:00</dc:date><items><rdf:Seq><rdf:li rdf:resource="https://puma.ub.uni-stuttgart.de/bibtex/29cb159f22e8604b52c370f39b4b4a1ec/bastianluettig"/></rdf:Seq></items></channel><item rdf:about="https://puma.ub.uni-stuttgart.de/bibtex/29cb159f22e8604b52c370f39b4b4a1ec/bastianluettig"><title>Automatic Safety Computation for IMA Systems</title><link>https://puma.ub.uni-stuttgart.de/bibtex/29cb159f22e8604b52c370f39b4b4a1ec/bastianluettig</link><dc:creator>bastianluettig</dc:creator><dc:date>2020-01-20T14:28:26+01:00</dc:date><dc:subject>Aerospace_electronics Atmospheric_modeling Computational_modeling Computers Hardware IMA_systems InProceedings Redundancy Safety aerospace_safety aircraft_manufacturers automatic_safety_computation avionics ils integrated_modular_avionics_design_philosophy optimisation optimisation_algorithm safety_requirements </dc:subject><content:encoded>&lt;span data-person-type=&#034;author&#034; class=&#034;authorEditorList &#034;&gt;&lt;span&gt;&lt;span itemtype=&#034;http://schema.org/Person&#034; itemscope=&#034;itemscope&#034; itemprop=&#034;author&#034;&gt;&lt;a title=&#034;U. Salomon&#034; itemprop=&#034;url&#034; href=&#034;/person/137d39ac3529fb252e0d1a56fddad4785/author/0&#034;&gt;&lt;span itemprop=&#034;name&#034;&gt;U. Salomon&lt;/span&gt;&lt;/a&gt;&lt;/span&gt;, &lt;/span&gt; und &lt;span&gt;&lt;span itemtype=&#034;http://schema.org/Person&#034; itemscope=&#034;itemscope&#034; itemprop=&#034;author&#034;&gt;&lt;a title=&#034;R. Reichel&#034; itemprop=&#034;url&#034; href=&#034;/person/137d39ac3529fb252e0d1a56fddad4785/author/1&#034;&gt;&lt;span itemprop=&#034;name&#034;&gt;R. Reichel&lt;/span&gt;&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;. &lt;/span&gt;&lt;span class=&#034;additional-entrytype-information&#034;&gt;&lt;em&gt;Seattle, &lt;/em&gt;(&lt;em&gt;&lt;span&gt;Oktober 2011&lt;meta content=&#034;Oktober 2011&#034; itemprop=&#034;datePublished&#034;/&gt;&lt;/span&gt;&lt;/em&gt;)&lt;/span&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://puma.ub.uni-stuttgart.de/tag/Aerospace_electronics"/><rdf:li rdf:resource="https://puma.ub.uni-stuttgart.de/tag/Atmospheric_modeling"/><rdf:li rdf:resource="https://puma.ub.uni-stuttgart.de/tag/Computational_modeling"/><rdf:li rdf:resource="https://puma.ub.uni-stuttgart.de/tag/Computers"/><rdf:li rdf:resource="https://puma.ub.uni-stuttgart.de/tag/Hardware"/><rdf:li rdf:resource="https://puma.ub.uni-stuttgart.de/tag/IMA_systems"/><rdf:li rdf:resource="https://puma.ub.uni-stuttgart.de/tag/InProceedings"/><rdf:li rdf:resource="https://puma.ub.uni-stuttgart.de/tag/Redundancy"/><rdf:li rdf:resource="https://puma.ub.uni-stuttgart.de/tag/Safety"/><rdf:li rdf:resource="https://puma.ub.uni-stuttgart.de/tag/aerospace_safety"/><rdf:li rdf:resource="https://puma.ub.uni-stuttgart.de/tag/aircraft_manufacturers"/><rdf:li rdf:resource="https://puma.ub.uni-stuttgart.de/tag/automatic_safety_computation"/><rdf:li rdf:resource="https://puma.ub.uni-stuttgart.de/tag/avionics"/><rdf:li rdf:resource="https://puma.ub.uni-stuttgart.de/tag/ils"/><rdf:li rdf:resource="https://puma.ub.uni-stuttgart.de/tag/integrated_modular_avionics_design_philosophy"/><rdf:li rdf:resource="https://puma.ub.uni-stuttgart.de/tag/optimisation"/><rdf:li rdf:resource="https://puma.ub.uni-stuttgart.de/tag/optimisation_algorithm"/><rdf:li rdf:resource="https://puma.ub.uni-stuttgart.de/tag/safety_requirements"/></rdf:Bag></taxo:topics></item></rdf:RDF>