Sciweavers

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

12

ISSE
2006

favoriteEmaildiscussreport

80views Security Privacy» more ISSE 2006»

Formalization and assessment of regulatory requirements for safety-critical software

13 years 4 months ago

Formalization and assessment of regulatory requirements for safety-critical software

Download core.ecu.edu

Sergiy A. Vilkomir, Jonathan P. Bowen, Aditya K. G

Real-time Traffic

ISSE 2006 | ISSE 2008 |

claim paper

Related Content

» Development of a Normative Package for SafetyCritical Software Using Formal Regulatory Req...

» Languages for SafetyCritical Software Issues and Assessment

» Formal Support for Quantitative Analysis of Residual Risks in SafetyCritical Systems

» Timing Tolerances in SafetyCritical Software

» A UML Profile for Developing AirworthinessCompliant RTCA DO178B SafetyCritical Software

» Towards an Industrial Use of FLUCTUAT on SafetyCritical Avionics Software

» Capturing Periodic Concurrent Interactions of Mission Computer Tasks

» HighFidelity Prototyping of Interactive Systems Can Be Formal Too

» Deriving Safety Requirements Using Scenarios

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2006
Where	ISSE
Authors	Sergiy A. Vilkomir, Jonathan P. Bowen, Aditya K. Ghose

Comments (0)