cvb.authors: ''
cvb.fail: null
cvb.id: Vol-1300/paper11
cvb.pages: 93-105
cvb.pdf_name: ID11.pdf
cvb.title: Model-based Approach for the Verification Enhancement Across the Lifecycle
  of a Space System
cvb.vol_number: 1300
dblp.authors:
- dblp_author_id: https://dblp.org/pid/154/4495
  gnd_id: null
  label: Laura Baracchi
  orcid_id: null
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/82/3272
  gnd_id: null
  label: Juhani Viitaniemi
  orcid_id: null
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/58/254
  gnd_id: null
  label: Valter Basso
  orcid_id: null
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/48/9979
  gnd_id: null
  label: Joachim Fuchs
  orcid_id: null
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/45/6407
  gnd_id: null
  label: Stefano Puri
  orcid_id: null
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/154/4543
  gnd_id: null
  label: Lorenzo Pace
  orcid_id: null
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/154/4491
  gnd_id: null
  label: Marco Lassalle
  orcid_id: null
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/118/0763
  gnd_id: null
  label: Mauro Pasquinelli
  orcid_id: null
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/00/2643
  gnd_id: null
  label: Silvia Mazzini
  orcid_id: null
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/154/4553
  gnd_id: null
  label: Diego Gerbaz
  orcid_id: null
  wikidata_id: null
dblp.dblp_proceeding_id: https://dblp.org/rec/conf/ciise/2014
dblp.dblp_publication_id: https://dblp.org/rec/conf/ciise/MazziniBPPGFBPLV14
dblp.pdf_id: Vol-1300/ID11
dblp.title: Model-based Approach for the Verification Enhancement Across the Lifecycle
  of a Space System.
dblp.volume_number: 1300
spt.description: null
spt.html_url: /Vol-1300/paper11.html
spt.id: Vol-1300/paper11
spt.pdfUrl: !!python/object/new:linkml_runtime.utils.metamodelcore.URI
  args:
  - https://ceur-ws.org/Vol-1300/ID11.pdf
  state:
    _len: null
    _s: null
spt.session: null
spt.title: Model-based Approach for the Verification Enhancement Across the Lifecycle
  of a Space System
spt.volume:
  acronym: CIISE 2014
  date: '2014-11-22'
  dblp: conf/ciise/2014
  description: Proceedings of CIISE 2014 workshop
  k10plus: '1023797402'
  number: 1300
  title: Proceedings of the INCOSE Italia Conference on Systems Engineering
  url: http://ceur-ws.org/Vol-1300/
  urn: urn:nbn:de:0074-1300-9
  wikidataid: Q113544725
spt.wikidataid: null
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
