Journals in DBLP
IEE Proceedings - Software
2000, volume: 147, number: 1
- J.-S. Lee, S.-D. Cha
Qualitative formal method for requirements specification and validation of hybrid real-time safety systems. [Citation Graph (0, 0)][DBLP]
IEE Proceedings - Software, 2000, v:147, n:1, pp:1-11 [Journal] - Gordon S. Blair, Anders Andersen, Lynne Blair, Geoff Coulson, D. Sanchez
Supporting dynamic QoS management functions in a reflective middleware platform. [Citation Graph (0, 0)][DBLP]
IEE Proceedings - Software, 2000, v:147, n:1, pp:13-21 [Journal]
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002