A Formal Monitoring-Based Framework for Software Development and Analysis (2004)
Cached
Download Links
- [gureni.cs.uiuc.edu]
- [gureni.cs.uiuc.edu]
- DBLP
Other Repositories/Bibliography
by
Feng Chen
,
Grigore Ro
| Venue: | In Proceedings of ICFEM’04, volume 3308 of LNCS |
| Citations: | 17 - 3 self |
BibTeX
@INPROCEEDINGS{Chen04aformal,
author = {Feng Chen and Grigore Ro},
title = {A Formal Monitoring-Based Framework for Software Development and Analysis},
booktitle = {In Proceedings of ICFEM’04, volume 3308 of LNCS},
year = {2004},
pages = {357--372},
publisher = {Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
