DocumentCode :
312977
Title :
Constructing Multi-Formalism State-Space Analysis Tools: Using rules to specify dynamic semantics of models
Author :
Pezzé, Mauro ; Young, Michal
Author_Institution :
Dip. Elettronica e Informazione, Politecnico di Milano
fYear :
1997
fDate :
17-23 May 1997
Firstpage :
239
Lastpage :
249
Keywords :
State-space analysis, multi-formalism analysis, concurrency, heterogeneity; Buildings; Computational modeling; Computer science; Computer simulation; Concurrent computing; Information analysis; Permission; Reachability analysis; US Government;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering, 1997., Proceedings of the 1997 International Conference on
ISSN :
0270-5257
Print_ISBN :
0-89791-914-9
Type :
conf
DOI :
10.1109/ICSE.1997.610261
Filename :
610261
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=312977
بازگشت