Specification and analysis of the requirements for embedded software with an external interaction model

Authors:
Bonnie Elaine Melhart;Nancy G. Leveson
Affiliations:
-;-
Venue:
Specification and analysis of the requirements for embedded software with an external interaction model
Year:
1990

Citing 0
Cited 4

Specification and Analysis of Intercomponent Communication

Computer
Safety Verification of Ada Programs Using Software Fault Trees

IEEE Software
Specification and Analysis of System Level Inter-Component Communication

ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Experiences using statecharts for a system requirements specification

IWSSD '91 Proceedings of the 6th international workshop on Software specification and design

Quantified Score

Hi-index	0.00

Visualization

Abstract