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

160篇 您的检索式：期刊名="Formal Method"

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

	题名	作者	年代	出处	被引量
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	Predicate abstraction of ANSI-C programs using SAT显示文摘	Clarke E Kroening D Sharygina N	2004	Formal Methods in System De- sign2004，25，23：	1
8	KIDS: a semi-automatic program development system 显示文摘	SMITH D R	1990	IEEE Trans on Software Engineering: Special Issue on Formal Methods1990，16，9：	1
9	Verification of Analog and Mixed - Signal Circuits using Hybrid System Techniques 显示文摘	T Dang	2004	Lecture Notes in Computer Science: Formal Methods in Computer- Aided Design2004，3312，：	1
10	Memory efficient algorithms for the verification of temporal properties显示文摘	COURCOUBETIS C VARDI M WOLPER P	1992	Formal Methods in System Design1992，，1：	1
11	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
12	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
13	A theory of predicate-complete test coverage and generation显示文摘	Ball T	2005	In Formal Methods for Components and Ob- jects2005，15，2：	1
14	Multi prover verification of C programs 显示文摘	Filliatre J C Marche C	2004	Formal Methods and Software Engineering2004，3308，1：	1
15	Automatic verification of competitive stochastic systems显示文摘	Chen T Forejt V Kwiatkowska M	2013	Formal Methods in System Design2013，43，1：	1
16	Efficient combinational verification using over lapping local BDDs and a hash table显示文摘	Mukherjee R	2002	Formal Methods on System Design2002，21，1：	1
17	An efficient counter-based broadcast scheme for mobile Ad Hoc networks 显示文摘	MOHAMMED A OULD-KHAOUA M MACKENZIE L	2007	Formal Methods and Stochastic Models for Performance Evaluation2007，，：	1
18	Translation and run- time validation of loop transformations 显示文摘	Zuck L D Pnueli A Goldberg B	2005	Formal Methods in System Design2005，27，3：	1
19	Specification-based Testing for Software Product Lines显示文摘	emesghen Kahsai Markus Roggenbach	2008	In Proceedings of 6th IEEE In ternational Conference on Software Engineering and Formal Methods SEFM 2008 Cape Town2008，，：	1
20	Model checking with strong fairness 显示文摘	KESTEN Y PNUELI A RAVIV L	2006	Formal Methods and System Design2006，28，1：	1

返回顶部每页显示：

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

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

用户提示