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
Διαθέσιμο Online:	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)