<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="/themes/root/assets/xsl/rss.xsl"?>
<rss version="2.0" xmlns:opensearch="http://a9.com/-/spec/opensearch/1.1/" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:slash="http://purl.org/rss/1.0/modules/slash/">
  <channel>
    <title>Results for "Verification and validation (software)"</title>
    <description>Showing 1 - 5 results of 5</description>
    <generator>Laminas_Feed_Writer 2 (https://getlaminas.org)</generator>
    <link>https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;lookfor=%22Verification+and+validation+%28software%29%22&amp;type=AllFields&amp;lng=en</link>
    <opensearch:totalResults>5</opensearch:totalResults>
    <opensearch:startIndex>0</opensearch:startIndex>
    <opensearch:itemsPerPage>50</opensearch:itemsPerPage>
    <opensearch:Query role="request" searchTerms="%22Verification%20and%20validation%20%28software%29%22" startIndex="0"/>
    <atom:link rel="first" type="application/rss+xml" title="Go to First Page" href="https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;view=rss&amp;lookfor=%22Verification+and+validation+%28software%29%22&amp;type=AllFields&amp;lng=en"/>
    <atom:link rel="last" type="application/rss+xml" title="Go to Last Page" href="https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;view=rss&amp;lookfor=%22Verification+and+validation+%28software%29%22&amp;type=AllFields&amp;lng=en"/>
    <item>
      <title>Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings /</title>
      <pubDate>Fri, 01 Jan 2016 07:53:51 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-47846-3</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-47846-3</guid>
      <dc:format>Electronic</dc:format>
      <dc:format>eBook</dc:format>
      <dc:date>2016</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /</title>
      <pubDate>Tue, 01 Jan 2013 07:53:51 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-642-37057-1</link>
      <guid>https://find.library.upatras.gr/Record/978-3-642-37057-1</guid>
      <dc:format>Electronic</dc:format>
      <dc:format>eBook</dc:format>
      <dc:date>2013</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings /</title>
      <pubDate>Sun, 01 Jan 2017 07:53:51 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-68690-5</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-68690-5</guid>
      <dc:format>Electronic</dc:format>
      <dc:format>eBook</dc:format>
      <dc:date>2017</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Verification and Validation in Systems Engineering Assessing UML/SysML Design Models /</title>
      <pubDate>Fri, 01 Jan 2010 07:53:51 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-642-15228-3</link>
      <guid>https://find.library.upatras.gr/Record/978-3-642-15228-3</guid>
      <author>Debbabi, Mourad</author>
      <dc:format>Electronic</dc:format>
      <dc:format>eBook</dc:format>
      <dc:date>2010</dc:date>
      <dc:creator>Debbabi, Mourad</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Software Verification and Validation An Engineering and Scientific Approach /</title>
      <pubDate>Mon, 01 Jan 2007 07:53:51 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-0-387-47939-2</link>
      <guid>https://find.library.upatras.gr/Record/978-0-387-47939-2</guid>
      <author>Fisher, Marcus S.</author>
      <dc:format>Electronic</dc:format>
      <dc:format>eBook</dc:format>
      <dc:date>2007</dc:date>
      <dc:creator>Fisher, Marcus S.</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
  </channel>
</rss>
