I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Analysis capabilities for requirements specified in statech..:

, In: Proceedings of the 5th international workshop on Software specification and design,
Melhart, B. E. ; Leveson, N. G. ; Jaffe, M. S. - p. 100-103 , 1989
Link: https://dl.acm.org/doi/10.1145/75199.75215