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

QR Kod

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

Kaydedildi:

Detaylı Bibliyografya
Dil:	vie
Online Erişim:	https://dlib.udn.vn/module/chi-tiet-sach?RecordID=9106
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Automatic Regression Testing for Lustre/SCADE Applications
Yazar:: 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
Yazar:: Nguyễn Văn Định
Baskı/Yayın Bilgisi: (2013)

Model Checking Software
Yazar:: Godefroid, Patrick
Baskı/Yayın Bilgisi: (2020)

Model Checking Software
Baskı/Yayın Bilgisi: (2020)

Model Checking Software
Baskı/Yayın Bilgisi: (2020)

Handbook of Model Checking
Yazar:: Clarke, Edmund M., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Model Checking Software
Yazar:: Bosnacki, Dragan, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

25 Years of Model Checking
Yazar:: Grumberg, Orna, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Model Checking and Artificial Intelligence
Yazar:: Edelkamp, Stefan, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Model Checking and Artificial Intelligence
Baskı/Yayın Bilgisi: (2020)

Verification, Model Checking, and Abstract Interpretation
Yazar:: Beyer, Dirk, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Verification, Model Checking, and Abstract Interpretation
Baskı/Yayın Bilgisi: (2020)

Verification, Model Checking, and Abstract Interpretation
Yazar:: Dillig, Isil, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Verification, Model Checking, and Abstract Interpretation
Yazar:: Cook, Byron, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Verification, Model Checking, and Abstract Interpretation
Yazar:: Bouajjani, Ahmed, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Verification, Model Checking, and Abstract Interpretation
Baskı/Yayın Bilgisi: (2020)

Verification, Model Checking, and Abstract Interpretation
Yazar:: Logozzo, Francesco, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

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

Check Point NG/AI: Next Generation with Application Intelligence Security Administration
Yazar:: Tobkin, Chris, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Check-in check-out /
Yazar:: Vallen, Gary K.
Baskı/Yayın Bilgisi: (2000)

Test Pattern Generation using Boolean Proof Engines
Yazar:: Drechsler, Rolf, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Quality check of rain gauge data for quantitative precipitation estimate
Yazar:: Michihiko, Tonouchi, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Baskı/Yayın Bilgisi: (2001)

ESpin: Analyzing Event-Driven Systems in Model Checking
Yazar:: Tran, Nhat Hoa
Baskı/Yayın Bilgisi: (2023)

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

Learning, creating, and using knowledge : concept maps as facilitative tools in schools and corporations /
Yazar:: Novak, Joseph Donald.
Baskı/Yayın Bilgisi: (1998)

Modeling and Processing for Next-Generation Big-Data Technologies:With Applications and Case Studies
Yazar:: Xhafa, F, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Check your vocabulary for English for the TOEFL test ( A workbook for students )
Yazar:: Aston, Mark
Baskı/Yayın Bilgisi: (2002)

Creating Value from Data Sharing
Yazar:: Dreller, Anne
Baskı/Yayın Bilgisi: (2020)

Linked Open Data -- Creating Knowledge Out of Interlinked Data
Yazar:: Auer, Sören, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Generative Programming and Component Engineering
Yazar:: Glück, Robert, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

E-discovery Creating and Managing an Enterprisewide Program
Yazar:: Schuler, Karen
Baskı/Yayın Bilgisi: (2011)

Next Generation of Data Mining
Yazar:: Kumar, Vipin, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Tools and Methods of Program Analysis
Yazar:: Itsykson, Vladimir, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

UNIX shell programming tools /
Yazar:: Medinets, David.
Baskı/Yayın Bilgisi: (1999)

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

Programming Android Java Programming for the New Generation of Mobile Devices
Yazar:: Mednieks, Zigurd, ve diğerleri
Baskı/Yayın Bilgisi: (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
Yazar:: Chanchaichujit, Janya, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Check in : a Course for Hotel Reception Staff /
Yazar:: Jates, Christopher St.j.
Baskı/Yayın Bilgisi: (1991)