维普期刊资源整合服务平台（V6.5）

33篇 您的检索式：作者名="SHATZ S M"

选中清除导出查看参考文献查看引证文献引用追踪共2页首页上一页第1页下一页末页 /2 跳转

	题名	作者	年代	出处	被引量
1	Task allocation for maximizing reliability of distributed computer systems 显示文摘	Shatz S M Wang J P Goto M	1992	IEEE Transactions on Computers1992，41，9：	1
2	Task allocation for maximizing reliability of distributed computer systems 显示文摘	SHATZ S M WANG J P GOTO M	1992	IEEE Trans on Computers1992，41，9：	1
3	Detection of ada static deadlocks using Petri net invariants显示文摘	Murata T Shenker B Shatz S M	1989	IEEE Transactions on Software Engineering1989，15，3：	1
4	Task allocation for maximizing reliability of distributed computer systems显示文摘	SHATZ S M WANG J P GOTO M		0，，09：	1
5	Design and implementation of a Petri net-based toolkit for Ada tasking analysis显示文摘	Shatz S M Mai K Blaek C	1990	IEEE Trans Parall Distrlb Syst1990，1，4：	1
6	A framework for Model-Based Design o f Agent-Oriented Software 显示文摘	S M Shatz A B Smith	2003	IEEE Transactions on Software Engineering2003，29，1：	1
7	Formalization of object behavior and interactions from UML models显示文摘	SALDHANA J A SHATZ S M HU Z	2001	International Journal of Software Engineering and Knowledge Engineering2001，11，6：	1
8	Task allocation for maximizing reliability of distributed computer systems显示文摘	SHATZ S M WANG Jia-ping GOTO M	1992	IEEE Trans on Computers1992，41，9：	1
9	Detection of Ada Static Deadlocks Using Petri Net Invariants显示文摘	Murata T Shenker B Shatz S M	1989	IEEE Transactions on Software Engineering1989，15，3：	1
10	A Framework for Model-based Design of Agent-oriented Software显示文摘	Xu Haiping Shatz S M	2003	IEEE Transactions on Software Engineering2003，29，1：	1
11	An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis显示文摘	Shatz S M Tu S Murata T Duri S	1996	IEEE Transactions on Parallel and Distributed Systems1996，7，12：	1
12	Detection of Ada Static Dead- locks Using Petri Net Invariants显示文摘	Murata T Shenker B Shatz S M	1989	IEEE Transactions on Software Engineering1989，15，3：	1
13	Formalization of object behavior and interactions from UML models显示文摘	Saldhana J A Shatz S M Hu Zh X	2001	International Journal of Software Engineering and Knowledge Engineering2001，11，6：	1
14	ADK:an agent development kit based on a formal model for multi-agent systems显示文摘	XU Hai-ping SHATZ S M	2003	Journal of Automated Software Engineering2003，10，4：	1
15	An application of Petri net reduction for Ada tasking deadlock analysis 显示文摘	Shatz S M Tu S Murata T	1996	IEEE Trans on Parallel and Distributed Systems1996，7，12：	1
16	A petri net framework for automa-ted static analysis of ada tasking behavior显示文摘	Shatz S M CHENG W K	1988	Systems andSoftware1988，，8：	1
17	Task allocation for maximizing reliability of distributed computer systems显示文摘	Shatz S M Wang J P Goto M	1992	IEEE Transactions on Computers1992，41，9：	1
18	Formalization of object behavior and interactions from UML models显示文摘	SALDHANA J A SHATZ S M HU Zhaoxia	2001	International Journal of Software Engineering and Knowledge Engineering2001，11，6：	1
19	Task allocation for maximizing reliability of distributed computer systems 显示文摘	Shatz S M Wang J P and Goto M	1992	IEEE Transactions on Computers1992，41，9：	1
20	A framework for model-based design of Agent-oriented software 显示文摘	XU H P SHATZ S M	2003	IEEE Transactions on Software Engineering2003，29，1：	1

返回顶部每页显示：

共2页首页上一页第1页下一页末页 /2 跳转

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

用户提示