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: SpringerLink xóa Dạng tài nguyên: Bài báo xóa Cơ sở dữ liệu: HAL (CCSd) xóa Nhan đề tạp chí: International Journal on Software Tools for Technology Transfer 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

Dynamic testing via automata learning

Raffelt, Harald ; Merten, Maik ; Steffen, Bernhard ; Margaria, Tiziana

International Journal on Software Tools for Technology Transfer, 2009, Vol.11(4), pp.307-324 [Tạp chí có phản biện]

ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: 10.1007/s10009-009-0120-7

Toàn văn sẵn có

Phiên bản sẵn có
2
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Rigorous embedded design: challenges and perspectives

Bensalem, Saddek ; Legay, Axel ; Bozga, Marius

International Journal on Software Tools for Technology Transfer, 2013, Vol.15(3), pp.149-154 [Tạp chí có phản biện]

ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: 10.1007/s10009-013-0271-4

Toàn văn sẵn có

Phiên bản sẵn có
3
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

A code tagging approach to software product line development

Heymans, Patrick ; Boucher, Quentin ; Classen, Andreas ; Bourdoux, Arnaud ; Demonceau, Laurent

International Journal on Software Tools for Technology Transfer, 2012, Vol.14(5), pp.553-566 [Tạp chí có phản biện]

ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: 10.1007/s10009-012-0242-1

Toàn văn sẵn có

Phiên bản sẵn có
4
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Software diversity: state of the art and perspectives

Schaefer, Ina ; Rabiser, Rick ; Clarke, Dave ; Bettini, Lorenzo ; Benavides, David ; Botterweck, Goetz ; Pathak, Animesh ; Trujillo, Salvador ; Villela, Karina

International Journal on Software Tools for Technology Transfer, 2012, Vol.14(5), pp.477-495 [Tạp chí có phản biện]

ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: 10.1007/s10009-012-0253-y

Toàn văn sẵn có

Phiên bản sẵn có
5
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Statistical model checking QoS properties of systems with SBIP

Nouri, Ayoub ; Bensalem, Saddek ; Bozga, Marius ; Delahaye, Benoit ; Jegourel, Cyrille ; Legay, Axel

International Journal on Software Tools for Technology Transfer, 2015, Vol.17(2), pp.171-185 [Tạp chí có phản biện]

ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: 10.1007/s10009-014-0313-6

Toàn văn sẵn có

Phiên bản sẵn có
6
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

System-on-chip design by proof-based refinement

Cansell, Dominique ; Méry, Dominique ; Proch, Cyril

International Journal on Software Tools for Technology Transfer, 2009, Vol.11(3), pp.217-238 [Tạp chí có phản biện]

ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: 10.1007/s10009-009-0104-7

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. Bozga, Marius
  2. Bensalem, Saddek
  3. Legay, Axel
  4. Schaefer, Ina
  5. Merten, Maik

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