skip to main content
Ngôn ngữ:
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Chỉ mục
Lọc theo: Cơ sở dữ liệu: HAL (CCSd) xóa Cơ sở dữ liệu: Springer (CrossRef) xóa Nhan đề tạp chí: Software & Systems Modeling xóa Tác giả/ người sáng tác: Yan, Rongjie xóa
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Component-based verification using incremental design and invariants

Bensalem, Saddek ; Bozga, Marius ; Legay, Axel ; Nguyen, Thanh-Hung ; Sifakis, Joseph ; Yan, Rongjie

Software & Systems Modeling, 2016, Vol.15(2), pp.427-451 [Tạp chí có phản biện]

ISSN: 1619-1366 ; E-ISSN: 1619-1374 ; DOI: 10.1007/s10270-014-0410-8

Toàn văn sẵn có

Phiên bản sẵn có

Chủ đề của tôi

  1. Thiết lập

Refine Search Results

Mở rộng kết quả tìm kiếm

  1.   

Gợi ý tìm kiếm

Bỏ qua truy vấn này và tìm kiếm mọi thứ

theo tác giả:

  1. Yan, Rj
  2. Bensalem, S
  3. Nguyen, Th
  4. Legay, A
  5. Yan, Rongjie

Đang tìm Cơ sở dữ liệu bên ngoài...