Heuristic-guided abstraction refinement /

क्यूआर कोड

Heuristic-guided abstraction refinement /

में बचाया:

ग्रंथसूची विवरण
अन्य लेखक:	Gu, Ming., He, Fei., Song, Xiaoyu., Sun, Jiaguang.
स्वरूप:	लेख
भाषा:	English
विषय:	Abstraction Heuristics Model checking Verification
टैग :	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

समान संसाधन

Heuristic search : theory and applications /
द्वारा: Edelkamp, Stefan.
प्रकाशित: (2012)

How to solve it: Modern heuristics
द्वारा: Zbigniew Michalewicz
प्रकाशित: (2000)

Heuristic Reasoning
द्वारा: Ippoliti, Emiliano
प्रकाशित: (2015)

Hardness results and heuristic for multi-groups interconnection /

Xây dựng giải thuật heuristic để bù công suất phản kháng đối với mạng phân phối hình tia=Heuristic algorithms construction to compensate reactive power distribution network for the ray
द्वारा: Võ, Trà Nam

Verification of PLC programs written in FBD with VIS /
द्वारा: Yoo, Jun-Beom.

Heuristics : intelligent search strategies for computer problem solving /
द्वारा: Pearl, Judea.
प्रकाशित: (1984)

Heuristics : intelligent search strategies for computer problem solving /
द्वारा: Pearl, Judea.
प्रकाशित: (1984)

Checking Electrical Safety Measures /
द्वारा: Grohmann Siegfried
प्रकाशित: (2001)

PHP 4: A Beginner's Guide /
द्वारा: McCarty Bill
प्रकाशित: (2001)

Reachability analysis of augmented marked graphs via integer linear programming /
द्वारा: Chen, Chien-Liang.

Building the Staff System and Temperature Checking
द्वारा: Ngo, Quang Cuong
प्रकाशित: (2023)

Heuristics in analytics a practical perspective of what influences our analytical world
द्वारा: Reis Pinheiro, Carlos Andre 1940-
प्रकाशित: (2014)

Data mining : a heuristic approach /
प्रकाशित: (2002)

Slicing execution with partial weakest precondition for model abstraction of C programs /
द्वारा: Yang, Xuejun.

A heuristic node placement strategy for extending network lifetime and ensuring target coverage in mobile wireless sensor networks
द्वारा: Huynh, Thi Thanh Binh, और अन्य
प्रकाशित: (2024)

BERT-Based Model for Vietnamese Fact Verification Dataset
द्वारा: Tran, Bao, और अन्य
प्रकाशित: (2024)

Book of abstracts
प्रकाशित: (2005)

Introduction to indexing and abstracting
द्वारा: Cleveland, Donald B.
प्रकाशित: (2001)

Applied abstract algebra /
द्वारा: Lidl, Rudolf.
प्रकाशित: (1998)

Topics in applied abstract algebra
द्वारा: S. R. Nagpaul
प्रकाशित: (2005)

Advanced indexing and abstracting practices
द्वारा: Parekh, L. R.
प्रकाशित: (2000)

Biological abstracts :
प्रकाशित: (1997)

Biological abstracts :
प्रकाशित: (1997)

Abstract algebra: the basic graduate year
द्वारा: Ash, Robert B.
प्रकाशित: (2009)

A first course in abstract algebra
द्वारा: Fraleigh, John B.
प्रकाशित: (2003)

Abstracting practices in libraries
प्रकाशित: (2001)

ESpin: Analyzing Event-Driven Systems in Model Checking
द्वारा: Tran, Nhat Hoa
प्रकाशित: (2023)

Library indexing and abstracting
प्रकाशित: (2001)

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
द्वारा: D'Souza, Deepak, और अन्य
प्रकाशित: (2015)

Digital abstract & macro photography
द्वारा: Milburn, Ken
प्रकाशित: (2005)

"3+3 process" for safety critical software for I&C system in nuclear power plants /
द्वारा: Jung, Jae-Cheon.

Drinking norm-behavior association over time using retrospective and daily measures /
द्वारा: Cullum, Jerry.

Abstract and macro photography
द्वारा: Milburn, Ken
प्रकाशित: (2005)

Ellipsis in abstracts of business journal articles in english and vietnamese
द्वारा: Nguyễn Thị Thanh Nga
प्रकाशित: (2025)

Modeling rule-based behavior : Habitat selection and the growth-survival trade-off in larval cod /

DNA based service data security in cloud computing environment
द्वारा: Amisha, Patel, और अन्य
प्रकाशित: (2022)

Abstracts of M. S. theses and PH. D. dissertations(1970 - 1978) of searca scholarts at the university of the Philippinesat los banos (UPLB)
प्रकाशित: (1979)

Concrete abstractions : an introduction to computer science using scheme /
द्वारा: Hailperin, Max.
प्रकाशित: (1999)

Xây dựng giải thuật Heuristic để bù công suất phản kháng đối với mạng phân phối hình tia
द्वारा: Võ, Trà Nam
प्रकाशित: (2006)