%0 Conference Paper %1 conf/ciise/MazziniBPPGFBPLV14 %A Mazzini, Silvia %A Baracchi, Laura %A Puri, Stefano %A Pasquinelli, Mauro %A Gerbaz, Diego %A Fuchs, Joachim %A Basso, Valter %A Pace, Lorenzo %A Lassalle, Marco %A Viitaniemi, Juhani %B CIISE %D 2014 %E Arrichiello, Vincenzo %E D'Ambrogio, Andrea %E Garro, Alfredo %E Leardi, Carlo %E Poloni, Carlo %E Tundis, Andrea %I CEUR-WS.org %K dblp %P 93-105 %T Model-based Approach for the Verification Enhancement Across the Lifecycle of a Space System. %U http://dblp.uni-trier.de/db/conf/ciise/ciise2014.html#MazziniBPPGFBPLV14 %V 1300

@inproceedings{conf/ciise/MazziniBPPGFBPLV14, added-at = {2019-05-28T00:00:00.000+0200}, author = {Mazzini, Silvia and Baracchi, Laura and Puri, Stefano and Pasquinelli, Mauro and Gerbaz, Diego and Fuchs, Joachim and Basso, Valter and Pace, Lorenzo and Lassalle, Marco and Viitaniemi, Juhani}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2462db2c4b5d4434b55f6d444c4002d92/dblp}, booktitle = {CIISE}, crossref = {conf/ciise/2014}, editor = {Arrichiello, Vincenzo and D'Ambrogio, Andrea and Garro, Alfredo and Leardi, Carlo and Poloni, Carlo and Tundis, Andrea}, ee = {http://ceur-ws.org/Vol-1300/ID11.pdf}, interhash = {659e09d799fdc750962d296a01f843c4}, intrahash = {462db2c4b5d4434b55f6d444c4002d92}, keywords = {dblp}, pages = {93-105}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2019-09-27T13:38:43.000+0200}, title = {Model-based Approach for the Verification Enhancement Across the Lifecycle of a Space System.}, url = {http://dblp.uni-trier.de/db/conf/ciise/ciise2014.html#MazziniBPPGFBPLV14}, volume = 1300, year = 2014 }