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

108篇 您的检索式：期刊名="Formal aspects of computing"

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

	题名	作者	年代	出处	被引量
1	Automatic verification of a behavioural subset of UML Statechart digrams using the SPIN model-checker显示文摘	Latella D Majzik I Massink M	1999	Formal Aspects of Computing1999，11，6：	1
2	Testing algebraic data types and processes: a unifying theory显示文摘	James Perry R	1998	Formal Aspects of Computing(1998)1998，10，：	1
3	Using Probabilistic Model Checking for Dynamic Power Management显示文摘	NORMAN G PARKER D KWIATKOWSKA M	2005	Formal Aspects of Computing Springer-Verlag2005，17，2：	1
4	A calculus and logic of resources and processes 显示文摘	Pyre D Torts C	2006	Formal Aspects of Computing2006，18，4：	1
5	11 CSMA/ CA RTS/CTS with stochastic bigraphs with sharing 显示文摘	Muffy Calder Michele Sevegnani Modelling IEEE 802	2014	Formal Aspects of Computing2014，26，2：	1
6	A mechanically verified incremental garbage collector显示文摘	Russinoff DM	1994	Formal Aspects of Computing1994，6，4：	1
7	Interval timed coloured Petri net : efficient construction of its state class space preserving linear properties 显示文摘	Lin K Chen D Sun Chengzheng	2008	Formal Aspects of Computing2008，20，2：	1
8	Assuring property con- formance of code generators via model checking 显示文摘	Jorges S Margaria T Steffen B	2011	Formal Aspects of Computing2011，23，5：	1
9	Architectural refmement and notions of intransitive noninterference显示文摘	VAN DER MEYDEN R	2012	Formal Aspects of Computing2012，24，4：	1
10	Model-checking discrete duration calculus显示文摘	Hanson M R	1994	Formal Aspects of Computing1994，6，：	1
11	Automatic verification of a behav- ioural subset of UML statechart diagrams using the SPIN model - checker 显示文摘	LateUa D Majzik I Massink M	1999	Formal Aspects of Computing1999，，6：	1
12	An Algebraic Verification of a Mobile Network显示文摘	FREDRIK O JOACHIM P	1996	Journal of Formal Aspects of Computing1996，3，3：	1
13	A Single Complete Rule for Data Refinement显示文摘	Gardiner P H B Morgan C	1993	Formal Aspects of Computing1993，5，4：	1
14	Compositional minimisation of finite state systems using interface specifications显示文摘	Graf S Steffen B Ltlttgen G	1996	Formal Aspects of Computing London:Springer-Verlag1996，8，5：	1
15	Architectural Specifications inCASL显示文摘	Bidoit M Sannella D Tarlecki A	2002	Formal Aspects of Computing2002，13，35：	1
16	Automatic verification of a behavioural subset of UML stateehart diagrams using the SPIN modelcheeker显示文摘	Latella D Majzik I Massink M	1999	Formal Aspects of Computing1999，11，6：	1
17	Symbolic predictive a- nalysis for concurrent programs显示文摘	Wang C Kundu S Limaye R	2011	Formal Aspects of Computing2011，23，6：	1
18	Dijkstra, Floyd and Warshall Meet Kleene显示文摘	Hofner P MOller B	2012	Formal Aspects of Computing2012，24，456：	1
19	Assuring property conformance of code generators via model checking 显示文摘	Jorges S Margaria T Steffen B	2011	Formal Aspects of Computing2011，23，5：	1
20	A Fully Abstract Semantics of Classes for Obj-ect Z显示文摘	SMITH G	1995	Formal Aspects of Computing1995，7，3：	1

返回顶部每页显示：

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

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

用户提示