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

116篇 您的检索式：期刊名="Formal Methods in Systems Design"

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

	题名	作者	年代	出处	被引量
1	So menzi A symbolic algorithm for maximum flow in 0-1 networks显示文摘	Haehtel G D	1997	Formal Methods in System Design1997，10，23：	1
2	Bayesian statistical model chec- king with application to Stateflow/Simulink verification 显示文摘	Zuliani P Platzer A Clarke E M	2013	Formal Methods in System Design2013，43，2：	1
3	A constructive approach to hardware/software partitioning显示文摘	LEILA S AUGUSTO S EDNA B	2004	Formal Methods in System Design2004，24，1：	1
4	LSCs: Breathing life into message sequence charts 显示文摘	W Damm D Harel	2001	Formal Methods in System Design2001，19，1：	1
5	Learning to divide and conquer: Applying the L * algorithm to auto mate assume-guarantee reasoning 显示文摘	Pasareanu C Giannakopoulou D Bobaru M	2008	Formal Methods in System Design2008，32，3：	1
6	Polynomial Formal Verification of Multipliers显示文摘	Martin Keim Rolf Drechsler Bernd Becker Michael Martin Paul Molitor	2003	Formal Methods in System Design2003，，1：	1
7	Memory efficient algorithms for the verification of temporal properties显示文摘	COURCOUBETIS C VARDI M WOLPER P	1992	Formal Methods in System Design1992，，1：	1
8	Algebraic decision diagrams and their applications 显示文摘	Bachar R I Frohm E A Gaona C M Hachtel G D Macii E Pardo A Somenzi F	1997	Formal Methods in Systems Design1997，10，23：	1
9	Joint minimization of code and data for synchronous data flow programs 显示文摘	Murthy P K Bhattacharyya S S Lee E A	1997	Journal of Formal Methods in System Design1997，11，1：	1
10	Automatic verification of competitive stochastic systems显示文摘	Chen T Forejt V Kwiatkowska M	2013	Formal Methods in System Design2013，43，1：	1
11	Translation and run- time validation of loop transformations 显示文摘	Zuck L D Pnueli A Goldberg B	2005	Formal Methods in System Design2005，27，3：	1
12	Bounded model checking using satisfiability solving 显示文摘	Clarke E M Biere A Raimi R	2001	Formal Methods in System Design2001，19，1：	1
13	Description of a design management system for the P-ASIC design flow using EXPDL显示文摘	W. M. H. M. Rovers	1994	Formal Methods in System Design1994，，2：	1
14	Verification of a radio-based signaling scheme using the Statemate verification environment 显示文摘	Damm W Klose J	2001	Formal Methods in System Design2001，19，2：	1
15	A WS- DL-based Type System for Asynchronous WS-BPEL Processes显示文摘	Alessandro Lapadula Rosario Pugliese Franeesco Tiezzi	2011	Formal Methods in System Design2011，31，4：	1
16	Javamac: a run-time assurance approach for java pro- grams 显示文摘	KIM M VISWANATHAN M KANNAN S	2004	Formal Methods in System Design2004，24，2：	1
17	Specification, Refinement and Verification of Concurrent Systems - An Integration of Object - Z and CSP 显示文摘	Smith G Derrick J	2001	Formal Methods in System Design2001，18，：	1
18	Javamac: a run-time assurance approach for java pro- grams 显示文摘	KIM M VISWANATHAN M KANNAN S	2004	Formal Methods in System Design2004，24，2：	1
19	Multi-terminal binary decision diagrams: an efficient data structure for matrix representation 显示文摘	Fujita M McGeer P Yang J-Y	1997	Formal Methods in System Design1997，10，23：	1
20	Combining symmetry reduction and under-approximation for symbolic model checking 显示文摘	Barner S Grumherg O	2005	Formal Methods in System Design2005，27，112：	1

返回顶部每页显示：

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

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

用户提示