Towards a Hybrid Formal Method for Swarm-Based Exploration Missions

  • Authors:

  • Christopher A. Rouff;Michael G. Hinchey;James L. Rash;Walter F. Truszkowski

  • Affiliations:

  • SAIC Advanced Concepts Business Unit McLean, VA;NASA Goddard Space Flight Center Information Systems Division Greenbelt, Maryland, USA;NASA Goddard Space Flight Center Information Systems Division Greenbelt, Maryland, USA;NASA Goddard Space Flight Center Information Systems Division Greenbelt, Maryland, USA

  • Venue:
  • SEW '05 Proceedings of the 29th Annual IEEE/NASA on Software Engineering Workshop
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

_cf_loadingtexthtml="";_cf_contextpath="";_cf_ajaxscriptsrc="/CFIDE/scripts/ajax";_cf_jsonprefix='//';_cf_clientid='C5C4A6D1BCBCD59489CAA50B80D97AA9';Towards a Hybrid Formal Method for Swarm-Based Exploration Missions function settab() { var mytabs = ColdFusion.Layout.getTabLayout('citationdetails'); mytabs.on('tabchange', function(tabpanel,activetab) { document.cookie = 'picked=' + '1106705' + ',' + activetab.id; }) }function letemknow(){ ColdFusion.Window.show('letemknow');}function testthis(){alert('test');}function loadalert(){ alert("I am in the load alert"); }function loadalert2(){ alert("I am in the load alert2"); } google.load('visualization', '1', {packages:['orgchart']}); google.setOnLoadCallback(drawChart); function drawChart() { var data = new google.visualization.DataTable(); data.addColumn('string', 'Name'); data.addColumn('string', 'Manager'); data.addColumn('string', 'ToolTip'); data.addRows([ [{v:'0', f:'CCS for this Article