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

QR code

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

Bewaard in:

Bibliografische gegevens
Taal:	vie
Online toegang:	https://dlib.udn.vn/module/chi-tiet-sach?RecordID=9106
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

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

Gelijkaardige items

Automatic Regression Testing for Lustre/SCADE Applications
door: 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
door: Nguyễn Văn Định
Gepubliceerd in: (2013)

Model Checking Software
door: Godefroid, Patrick
Gepubliceerd in: (2020)

Model Checking Software
Gepubliceerd in: (2020)

Model Checking Software
Gepubliceerd in: (2020)

Handbook of Model Checking
door: Clarke, Edmund M., et al.
Gepubliceerd in: (2020)

Model Checking Software
door: Bosnacki, Dragan, et al.
Gepubliceerd in: (2020)

25 Years of Model Checking
door: Grumberg, Orna, et al.
Gepubliceerd in: (2020)

Model Checking and Artificial Intelligence
door: Edelkamp, Stefan, et al.
Gepubliceerd in: (2020)

Model Checking and Artificial Intelligence
Gepubliceerd in: (2020)

Verification, Model Checking, and Abstract Interpretation
door: Beyer, Dirk, et al.
Gepubliceerd in: (2020)

Verification, Model Checking, and Abstract Interpretation
Gepubliceerd in: (2020)

Verification, Model Checking, and Abstract Interpretation
door: Dillig, Isil, et al.
Gepubliceerd in: (2020)

Verification, Model Checking, and Abstract Interpretation
door: Cook, Byron, et al.
Gepubliceerd in: (2020)

Verification, Model Checking, and Abstract Interpretation
door: Bouajjani, Ahmed, et al.
Gepubliceerd in: (2020)

Verification, Model Checking, and Abstract Interpretation
Gepubliceerd in: (2020)

Verification, Model Checking, and Abstract Interpretation
door: Logozzo, Francesco, et al.
Gepubliceerd in: (2020)

On the use of nonparametric item characteristic curve estimation techniques for checking parametric model fit /
door: Lee, Young-Sun.

Check Point NG/AI: Next Generation with Application Intelligence Security Administration
door: Tobkin, Chris, et al.
Gepubliceerd in: (2011)

Quality check of rain gauge data for quantitative precipitation estimate
door: Michihiko, Tonouchi, et al.
Gepubliceerd in: (2025)

Test Pattern Generation using Boolean Proof Engines
door: Drechsler, Rolf, et al.
Gepubliceerd in: (2020)

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Gepubliceerd in: (2001)

Estimated emission reductions from California's enhanced smog check program /
door: Singer, Brett C.

Learning, creating, and using knowledge : concept maps as facilitative tools in schools and corporations /
door: Novak, Joseph Donald.
Gepubliceerd in: (1998)

Modeling and Processing for Next-Generation Big-Data Technologies:With Applications and Case Studies
door: Xhafa, F, et al.
Gepubliceerd in: (2015)

Check your vocabulary for English for the TOEFL test ( A workbook for students )
door: Aston, Mark
Gepubliceerd in: (2002)

Creating Value from Data Sharing
door: Dreller, Anne
Gepubliceerd in: (2020)

Linked Open Data -- Creating Knowledge Out of Interlinked Data
door: Auer, Sören, et al.
Gepubliceerd in: (2020)

Generative Programming and Component Engineering
door: Glück, Robert, et al.
Gepubliceerd in: (2020)

E-discovery Creating and Managing an Enterprisewide Program
door: Schuler, Karen
Gepubliceerd in: (2011)

Next Generation of Data Mining
door: Kumar, Vipin, et al.
Gepubliceerd in: (2009)

Tools and Methods of Program Analysis
door: Itsykson, Vladimir, et al.
Gepubliceerd in: (2020)

Checking dimensionality in item response models with principal component analysis on standardized residuals /
door: Chou, Yeh-Tai.

Programming Android Java Programming for the New Generation of Mobile Devices
door: Mednieks, Zigurd, et al.
Gepubliceerd in: (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
door: Chanchaichujit, Janya, et al.
Gepubliceerd in: (2020)

Check in : a Course for Hotel Reception Staff /
door: Jates, Christopher St.j.
Gepubliceerd in: (1991)

Check in : A course for hotel reception staff /
door: Yates, Christopher St J.
Gepubliceerd in: (1991)

Novel design methodology using automated model parameter generation by virtual device fabrication /
door: Lee, Jun-Ha.

Check vocabulary for Toefl
door: Wyatt, Rawdon
Gepubliceerd in: (2008)