Filters








1 Hit in 9.8 sec

SFB/TR 14 AVACS – Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS – Automatische Verifikation und Analyse komplexer Systeme)

Bernd Becker, Andreas Podelski, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Reinhard Wilhelm
<span title="2007-01-01">2007</span> <i title="Walter de Gruyter GmbH"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zhpjayiyj5gf5fycnlwue3krte" style="color: black;">it - Information Technology</a> </i> &nbsp;
analysis of complex systems.  ...  The Transregional Collaborative Research Center AVACS integrates the three sites Freiburg, Oldenburg, and Saarbrücken, and addresses the challenge of pushing the borderline for automatic verification and  ...  Werner Damm Professor for Safety-Critical Systems at the University of Oldenburg. Speaker of SFB/TR 14 AVACS.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1524/itit.2007.49.2.118">doi:10.1524/itit.2007.49.2.118</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2mb2uwdoazcirmt7ghfq3p7aua">fatcat:2mb2uwdoazcirmt7ghfq3p7aua</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200321070836/http://www.avacs.org/Publikationen/Open/it2007.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/48/be/48beb4bd47de24655ae613c04b8317f76640b6b3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1524/itit.2007.49.2.118"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>