Creating test data generation tool for Lustre/SCADE programs using model checking

क्यूआर कोड

Creating test data generation tool for Lustre/SCADE programs using model checking

में बचाया:

ग्रंथसूची विवरण
भाषा:	vie
ऑनलाइन पहुंच:	https://dlib.udn.vn/module/chi-tiet-sach?RecordID=9106
टैग :	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

Thư viện lưu trữ:	Trung tâm Công nghệ thông tin và Học liệu số, Đại học Đà Nẵng

समान संसाधन

Automatic Regression Testing for Lustre/SCADE Applications
द्वारा: Trinh Cong Duy

Nghiên cứu và ứng dụng kiểm chứng mô hình cho các hệ thống phát triển trên môi trường Lustre/SCADE
द्वारा: Nguyễn Văn Định
प्रकाशित: (2013)

Model Checking Software
द्वारा: Godefroid, Patrick
प्रकाशित: (2020)

Model Checking Software
प्रकाशित: (2020)

Model Checking Software
प्रकाशित: (2020)

Handbook of Model Checking
द्वारा: Clarke, Edmund M., और अन्य
प्रकाशित: (2020)

Model Checking Software
द्वारा: Bosnacki, Dragan, और अन्य
प्रकाशित: (2020)

25 Years of Model Checking
द्वारा: Grumberg, Orna, और अन्य
प्रकाशित: (2020)

Model Checking and Artificial Intelligence
द्वारा: Edelkamp, Stefan, और अन्य
प्रकाशित: (2020)

Model Checking and Artificial Intelligence
प्रकाशित: (2020)

Verification, Model Checking, and Abstract Interpretation
द्वारा: Beyer, Dirk, और अन्य
प्रकाशित: (2020)

Verification, Model Checking, and Abstract Interpretation
प्रकाशित: (2020)

Verification, Model Checking, and Abstract Interpretation
द्वारा: Dillig, Isil, और अन्य
प्रकाशित: (2020)

Verification, Model Checking, and Abstract Interpretation
द्वारा: Cook, Byron, और अन्य
प्रकाशित: (2020)

Verification, Model Checking, and Abstract Interpretation
द्वारा: Bouajjani, Ahmed, और अन्य
प्रकाशित: (2020)

Verification, Model Checking, and Abstract Interpretation
प्रकाशित: (2020)

Verification, Model Checking, and Abstract Interpretation
द्वारा: Logozzo, Francesco, और अन्य
प्रकाशित: (2020)

On the use of nonparametric item characteristic curve estimation techniques for checking parametric model fit /
द्वारा: Lee, Young-Sun.

Check Point NG/AI: Next Generation with Application Intelligence Security Administration
द्वारा: Tobkin, Chris, और अन्य
प्रकाशित: (2011)

Check-in check-out /
द्वारा: Vallen, Gary K.
प्रकाशित: (2000)

Test Pattern Generation using Boolean Proof Engines
द्वारा: Drechsler, Rolf, और अन्य
प्रकाशित: (2020)

Quality check of rain gauge data for quantitative precipitation estimate
द्वारा: Michihiko, Tonouchi, और अन्य
प्रकाशित: (2025)

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
प्रकाशित: (2001)

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

Estimated emission reductions from California's enhanced smog check program /
द्वारा: Singer, Brett C.

Learning, creating, and using knowledge : concept maps as facilitative tools in schools and corporations /
द्वारा: Novak, Joseph Donald.
प्रकाशित: (1998)

Modeling and Processing for Next-Generation Big-Data Technologies:With Applications and Case Studies
द्वारा: Xhafa, F, और अन्य
प्रकाशित: (2015)

Check your vocabulary for English for the TOEFL test ( A workbook for students )
द्वारा: Aston, Mark
प्रकाशित: (2002)

Creating Value from Data Sharing
द्वारा: Dreller, Anne
प्रकाशित: (2020)

Linked Open Data -- Creating Knowledge Out of Interlinked Data
द्वारा: Auer, Sören, और अन्य
प्रकाशित: (2020)

Generative Programming and Component Engineering
द्वारा: Glück, Robert, और अन्य
प्रकाशित: (2020)

E-discovery Creating and Managing an Enterprisewide Program
द्वारा: Schuler, Karen
प्रकाशित: (2011)

Next Generation of Data Mining
द्वारा: Kumar, Vipin, और अन्य
प्रकाशित: (2009)

Tools and Methods of Program Analysis
द्वारा: Itsykson, Vladimir, और अन्य
प्रकाशित: (2020)

UNIX shell programming tools /
द्वारा: Medinets, David.
प्रकाशित: (1999)

Checking dimensionality in item response models with principal component analysis on standardized residuals /
द्वारा: Chou, Yeh-Tai.

Programming Android Java Programming for the New Generation of Mobile Devices
द्वारा: Mednieks, Zigurd, और अन्य
प्रकाशित: (2011)

Development of CAPP supported module for automatic Gcode generation from machining feature using macro programming

Using Simulation Tools to Model Renewable Resources. 1st ed. 2018
द्वारा: Chanchaichujit, Janya, और अन्य
प्रकाशित: (2020)

Check in : a Course for Hotel Reception Staff /
द्वारा: Jates, Christopher St.j.
प्रकाशित: (1991)