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

QRコード

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)

Quality check of rain gauge data for quantitative precipitation estimate
著者:: Michihiko, Tonouchi, 等
出版事項: (2025)

Test Pattern Generation using Boolean Proof Engines
著者:: Drechsler, Rolf, 等
出版事項: (2020)

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)

Check in : A course for hotel reception staff /
著者:: Yates, Christopher St J.
出版事項: (1991)