Automatic Regression Testing for Lustre/SCADE Applications

QR Kod

Automatic Regression Testing for Lustre/SCADE Applications

Chapter 1.Lustre/SCADE and regression testing: Basic concepts; Chapter 2.Using model checker for testing Lustre/SCADE programs; Chapter 3.Regression testing approach for Lustre/SCADE programs; ...

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Trinh Cong Duy
Dil:	eng
Baskı/Yayın Bilgisi:	The University of Danang
Online Erişim:	https://dlib.udn.vn/module/chi-tiet-sach?RecordID=2869
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

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

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)

Automatic testing of interactive multimodal applications

Business Applications of Multiple Regression
Yazar:: Richardson, Ronny
Baskı/Yayın Bilgisi: (2011)

Research and apply Selenium Automatic Testing Tool in Software Testing
Yazar:: Mai, Van Nhut
Baskı/Yayın Bilgisi: (2024)

An approach to automatic answering for English reading comprehension tests
Yazar:: Bui, Phat Tien, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

Building Framework Node.js API Automatic Testing
Yazar:: Tran, Thi Quynh Giao, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Building automatic install rom application-autorom
Yazar:: Ngo, Viet Quang
Baskı/Yayın Bilgisi: (2024)

Critical mm-Wave Components for Synthetic Automatic Test Systems
Yazar:: Hrobak, Michael
Baskı/Yayın Bilgisi: (2015)

A Link between science and applications of automatic control
Baskı/Yayın Bilgisi: (1979)

A link between science and applications of automatic control
Baskı/Yayın Bilgisi: (1979)

A link between science and applications of automatic control
Baskı/Yayın Bilgisi: (1979)

A link between science and applications of automatic control
Baskı/Yayın Bilgisi: (1979)

The application of a spatial regression model to the analysis and mapping of poverty
Yazar:: Alessandra Petrucci
Baskı/Yayın Bilgisi: (2003)

Automatic Scoring System of Fill-in-the-Blank Tests to Measure Programming Skills
Yazar:: So, Asai, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Weighted average power similar tests for structural change in the Gaussian linear regression model /
Yazar:: Forchini, Giovanni.

Regression analysis
Yazar:: Sen

Multiple regression
Yazar:: Aiken

Regression Analysis
Yazar:: Wilson, J .Holton
Baskı/Yayın Bilgisi: (2012)

Regression for Economics
Yazar:: Naghshpour, Shahdad
Baskı/Yayın Bilgisi: (2012)

Building A Cross-Platform Music Application Integrated With An Automatic Recommendation System
Yazar:: Huynh, Thi Hoang Hao
Baskı/Yayın Bilgisi: (2025)

Automatic control
Yazar:: Djaferis, Theodore Euclid
Baskı/Yayın Bilgisi: (2000)

Automatic wealth :
Yazar:: Masterson, Michael
Baskı/Yayın Bilgisi: (2005)

Automatic wealth :
Yazar:: Masterson, Michael
Baskı/Yayın Bilgisi: (2005)

Automatic control
Yazar:: Djaferis, Theodore E.
Baskı/Yayın Bilgisi: (2000)

Applied linear regression
Yazar:: Weisberg, Sanford
Baskı/Yayın Bilgisi: (2005)

Applied regression analysis :
Yazar:: Dielman, Terry E.
Baskı/Yayın Bilgisi: (2005)

Applied nonparametric regression
Yazar:: Hardle, Wolfgang.
Baskı/Yayın Bilgisi: (1990)

Applied regression analysis :
Yazar:: Dielman, Terry E.
Baskı/Yayın Bilgisi: (2005)

Introduction to regression modeling
Yazar:: Abraham, Bovas

Introduction to regression modeling
Yazar:: Bovas Abraham
Baskı/Yayın Bilgisi: (2006)

Principles of Regression Analysis /
Yazar:: Plackett, R. L.
Baskı/Yayın Bilgisi: (1960)

Applied regression analysis
Yazar:: Draper, Norman Richard.
Baskı/Yayın Bilgisi: (1966)

Automatic data processing
Yazar:: Elias M Awad
Baskı/Yayın Bilgisi: (1967)

Automatic control systems
Yazar:: Kuo, Benjamin C.
Baskı/Yayın Bilgisi: (1995)

Automatic control systems
Yazar:: Kuo, Benjamin C.
Baskı/Yayın Bilgisi: (2003)

Design of automatic machinery
Yazar:: Derby, Stephen J.
Baskı/Yayın Bilgisi: (2005)

Chaos in automatic control
Yazar:: Perruquetti, Wilfrid
Baskı/Yayın Bilgisi: (2006)

Automat und mensch :
Yazar:: Steinbuch, K.
Baskı/Yayın Bilgisi: (1971)

Automatic control systems
Yazar:: Kuo, Benjamin C.
Baskı/Yayın Bilgisi: (1967)