Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

ICST
2010
IEEE

favoriteEmaildiscussreport

112views Software Engineering» more ICST 2010»

Challenges with Software Verification and Validation Activities in the Space Industry

13 years 2 months ago

Challenges with Software Verification and Validation Activities in the Space Industry

Download www.cse.chalmers.se

Robert Feldt, Richard Torkar, Ehsan Ahmad, Bilal R

Real-time Traffic

ICST 2010 | Software Engineering |

claim paper

Related Content

» Verification and Validation in Industry A Qualitative Survey on the State of Practice

» Verification and semantic parallelization of goaldriven autonomous software

» Handling Large Search Space in PatternBased Reverse Engineering

» State space exploration using feedback constraint generation and MonteCarlo sampling

» An empirical methodology for introducing software processes

» SCCPx a compilation profile to support testing and verification of optimized code

» Using Simulation to Investigate Requirements Prioritization Strategies

» From Livingstone to SMV

» The way towards thermonuclear fusion simulators

Post Info
More Details (n/a)

Added	13 Feb 2011
Updated	13 Feb 2011
Type	Journal
Year	2010
Where	ICST
Authors	Robert Feldt, Richard Torkar, Ehsan Ahmad, Bilal Raza

Comments (0)