Object-Z (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Object-Z" in English language version.

refsWebsite

Global rank English rank

274^th place

309^th place

207^th place

136^th place

2^nd place

11^th place

8^th place

doi.org

Mahony, B.; Dong, Jin Song (February 2000). "Timed Communicating Object Z". IEEE Transactions on Software Engineering. 26 (2): 150–177. CiteSeerX 10.1.1.62.820. doi:10.1109/32.841115.
Dong, J.S.; Duke, R.; Hao, P. (2005). "Integrating Object-Z with Timed Automata". 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05). pp. 488–497. CiteSeerX 10.1.1.62.793. doi:10.1109/ICECCS.2005.56. ISBN 978-0-7695-2284-5. S2CID 10062286.

Mahony, B.; Dong, Jin Song (February 2000). "Timed Communicating Object Z". IEEE Transactions on Software Engineering. 26 (2): 150–177. CiteSeerX 10.1.1.62.820. doi:10.1109/32.841115.
Dong, J.S.; Duke, R.; Hao, P. (2005). "Integrating Object-Z with Timed Automata". 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05). pp. 488–497. CiteSeerX 10.1.1.62.793. doi:10.1109/ICECCS.2005.56. ISBN 978-0-7695-2284-5. S2CID 10062286.

Dong, J.S.; Duke, R.; Hao, P. (2005). "Integrating Object-Z with Timed Automata". 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05). pp. 488–497. CiteSeerX 10.1.1.62.793. doi:10.1109/ICECCS.2005.56. ISBN 978-0-7695-2284-5. S2CID 10062286.