Project deliverable Open Access

List of tools and techniques applicable for high and medium assurance for efficient assurance

Rollo, Jan; Alvarez de Sotomayor, Amelia; Caracuel, Benito; Ortega, Alvaro; Hametner, Reinhard; Tverdyshev, Sergey; Blasum, Holger; Kertis, Tomáš; Havle, Oto; Schulz, Thorsten; Hager, Michael


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.2586480", 
  "language": "eng", 
  "title": "List of tools and techniques applicable for high and medium assurance for efficient assurance", 
  "issued": {
    "date-parts": [
      [
        2017, 
        12, 
        20
      ]
    ]
  }, 
  "abstract": "<p>This deliverable summarizes consortium experience and expectations for a number of tools that can support high-assurance development for embedded systems.</p>", 
  "author": [
    {
      "family": "Rollo, Jan"
    }, 
    {
      "family": "Alvarez de Sotomayor, Amelia"
    }, 
    {
      "family": "Caracuel, Benito"
    }, 
    {
      "family": "Ortega, Alvaro"
    }, 
    {
      "family": "Hametner, Reinhard"
    }, 
    {
      "family": "Tverdyshev, Sergey"
    }, 
    {
      "family": "Blasum, Holger"
    }, 
    {
      "family": "Kertis, Tom\u00e1\u0161"
    }, 
    {
      "family": "Havle, Oto"
    }, 
    {
      "family": "Schulz, Thorsten"
    }, 
    {
      "family": "Hager, Michael"
    }
  ], 
  "version": "1.0", 
  "type": "report", 
  "id": "2586480"
}
94
446
views
downloads
All versions This version
Views 9494
Downloads 446446
Data volume 569.1 MB569.1 MB
Unique views 8787
Unique downloads 376376

Share

Cite as