DocumentCode :
1990112
Title :
Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design
fYear :
1993
fDate :
Dec. 6 1993-Nov. 7 1993
Keywords :
formal specification; software engineering; concurrency; design methods; distribution; formal reasoning; real-time systems; requirements engineering; software architectures; software design; software specification;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Specification and Design, 1993., Proceedings of the Seventh International Workshop on
Conference_Location :
Redondo Beach, CA, USA
Print_ISBN :
0-8186-4360-9
Type :
conf
DOI :
10.1109/IWSSD.1993.315521
Filename :
315521
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=1990112
بازگشت