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

Kết quả 1 - 20 của 127  trong Tất cả tài nguyên

Kết quả 1 2 3 4 5 next page
Chỉ hiển thị
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

Behavioral refinement and compatibility of statechart extensions

Prehofer, Christian

Electronic notes in theoretical computer science. Online journal, Vol.295 (2013), pp.65-78

Toàn văn sẵn có

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

Dynamic system simulation of small satellite projects

Raif, Matthias ; Walter, Ulrich ; Bouwmeester, Jasper

Acta Astronautica, 2010, Vol.67(9), pp.1138-1156 [Tạp chí có phản biện]

ISSN: 0094-5765 ; E-ISSN: 1879-2030 ; DOI: 10.1016/j.actaastro.2010.06.038

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

Accelerating PID controller development with rapid prototyping and model-based design

Liu, Yue ; Wang, Yanping ; Yan, Zhiping

Pacific Science Review A: Natural Science and Engineering, July 2015, Vol.17(2), pp.48-50 [Tạp chí có phản biện]

ISSN: 2405-8823 ; DOI: 10.1016/j.psra.2015.11.003

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

Model-based development and application generation for the batch process industry

Lepuschitz, Wilfried ; Lobato-Jimenez, Alvaro ; Grün, Andreas ; Höbert, Timon ; Merdan, Munir

Manufacturing Letters, January 2018, Vol.15, pp.107-110 [Tạp chí có phản biện]

ISSN: 2213-8463 ; E-ISSN: 2213-8463 ; DOI: 10.1016/j.mfglet.2017.12.016

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

Formal modeling and validation of Stateflow diagrams

Chen, Chunqing ; Sun, Jun ; Liu, Yang ; Dong, Jin ; Zheng, Manchun

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

ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: 10.1007/s10009-012-0235-0

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

Formal semantics of modular time refinement in AutoFocus

Trachtenherz, David

Computer Science - Research and Development, 2013, Vol.28(1), pp.45-64 [Tạp chí có phản biện]

ISSN: 1865-2034 ; E-ISSN: 1865-2042 ; DOI: 10.1007/s00450-011-0148-2

Toàn văn sẵn có

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

A relationship-based approach to model integration

Chechik, Marsha ; Nejati, Shiva ; Sabetzadeh, Mehrdad

Innovations in Systems and Software Engineering, 2012, Vol.8(1), pp.3-18 [Tạp chí có phản biện]

ISSN: 1614-5046 ; E-ISSN: 1614-5054 ; DOI: 10.1007/s11334-011-0155-2

Toàn văn sẵn có

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

Formal Definition of Collaborative Spaces

Claudia Zepeda-Cortés ; Juan Manuel González-Calleros ; Josefina Guerrero García

Acta Universitaria, 01 March 2012, Vol.22, pp.75-82 [Tạp chí có phản biện]

ISSN: 0188-6266

Toàn văn sẵn có

9
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Case studies on automated verification with slope boundaries for block diagrams

Dernehl, Christian ; Kühn, Jan ; Kowalewski, Stefan

Computer Languages, Systems & Structures, December 2018, Vol.54, pp.528-543 [Tạp chí có phản biện]

ISSN: 1477-8424 ; E-ISSN: 1873-6866 ; DOI: 10.1016/j.cl.2017.09.001

Toàn văn sẵn có

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

Observations on formal safety analysis in practice

Huhn, Michaela ; Milius, Stefan

Science of Computer Programming, 01 February 2014, Vol.80, pp.150-168 [Tạp chí có phản biện]

ISSN: 0167-6423 ; E-ISSN: 1872-7964 ; DOI: 10.1016/j.scico.2013.01.001

Toàn văn sẵn có

Phiên bản sẵn có
11
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Towards a curriculum for model-based engineering of embedded systems

Schlingloff, Bernd - Holger

Toàn văn sẵn có

12
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

The Metrô Rio case study

Ferrari, Alessio ; Fantechi, Alessandro ; Magnani, Gianluca ; Grasso, Daniele ; Tempestini, Matteo

Science of Computer Programming, 01 July 2013, Vol.78(7), pp.828-842 [Tạp chí có phản biện]

ISSN: 0167-6423 ; E-ISSN: 1872-7964 ; DOI: 10.1016/j.scico.2012.04.003

Toàn văn sẵn có

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

Model-Based Design, Development and Validation for UAS Critical Software

Santamaría, Daniel ; Alarcón, Francisco ; Jiménez, Antonio ; Viguria, Antidio ; Béjar, Manuel ; Ollero, Aníbal

Journal of Intelligent & Robotic Systems, 2012, Vol.65(1), pp.103-114 [Tạp chí có phản biện]

ISSN: 0921-0296 ; E-ISSN: 1573-0409 ; DOI: 10.1007/s10846-011-9618-9

Toàn văn sẵn có

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

Towards Qualifiable Code Generation from a Clocked Synchronous Subset of Modelica

Thiele, Bernhard Amadeus ; Knoll, A. ; Fritzson, Peter

Modeling, Identification and Control, 2015, Vol.36(1), pp.23-52 [Tạp chí có phản biện]

ISSN: 0332-7353 ; ISSN: 0332-7353 ; DOI: 10.4173/mic.2015.1.3

Toàn văn sẵn có

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

Behavioral Refinement and Compatibility of Statechart Extensions

Prehofer, Christian

Electronic Notes in Theoretical Computer Science, 09 May 2013, Vol.295, pp.65-78 [Tạp chí có phản biện]

ISSN: 1571-0661 ; E-ISSN: 1571-0661 ; DOI: 10.1016/j.entcs.2013.04.006

Toàn văn sẵn có

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

Relating software validation to technology trends

Liu, Zhiming ; Roychoudhury, Abhik

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

ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: 10.1007/s10009-012-0259-5

Toàn văn sẵn có

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

Choreography Realization by Re-Constructible Decomposition of Acyclic Relations

Miyamoto, Toshiyuki

IEICE Transactions on Information and Systems, 2016, Vol.E99.D(6), pp.1420-1427 [Tạp chí có phản biện]

ISSN: 0916-8532 ; DOI: 10.1587/transinf.2015FOP0001

Toàn văn sẵn có

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

Integration von System-, Safety- und Software-Entwicklung im automobilen Umfeld
Filling the gap between automotive systems, safety, and software engineering

Macher, Georg ; Stolz, Michael ; Armengaud, Eric ; Kreiner, Christian

e & i Elektrotechnik und Informationstechnik, 2015, Vol.132(3), pp.142-148 [Tạp chí có phản biện]

ISSN: 0932-383X ; E-ISSN: 1613-7620 ; DOI: 10.1007/s00502-015-0301-x

Toàn văn sẵn có

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

Combination of MATLAB/Simulink Models and Code Libraries by Extended UML
拡張UMLによるMATLAB/Simulinkモデルとコード・ライブラリの結合

新井, 正敏 ; 江口, 亨 ; 石田, 晴幸 ; 吉田, 紀彦 ; Arai, Masatoshi ; Eguchi, Tohru ; Ishida, Haruyuki ; Yoshida, Norihiko

システム制御情報学会論文誌, 2017, Vol.30(6), pp.228-237

ISSN: 1342-5668 ; DOI: 10.5687/iscie.30.228

Toàn văn sẵn có

20
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

wCloud: “Workshop Cloud” Computing System for Enabling Automotive Control Design in a Collaborative Way

Yoshimatsu, Norifumi ; Anami, Kenji ; Kando, Takayuki ; Murakami, Kazuaki

IFAC Proceedings Volumes, 2013, Vol.46(21), pp.245-246

ISSN: 1474-6670 ; DOI: 10.3182/20130904-4-JP-2042.00163

Toàn văn sẵn có

Phiên bản sẵn có

Kết quả 1 - 20 của 127  trong Tất cả tài nguyên

Kết quả 1 2 3 4 5 next page

Chủ đề của tôi

  1. Thiết lập

Refine Search Results

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

  1.   

Chỉ hiển thị

  1. Tạp chí có phản biện (54)

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước2007  (9)
  2. 2007đến2009  (17)
  3. 2010đến2012  (26)
  4. 2013đến2016  (47)
  5. Sau 2016  (27)
  6. Lựa chọn khác open sub menu

Ngôn ngữ 

  1. English  (112)
  2. Japanese  (17)
  3. German  (8)
  4. Swedish  (2)
  5. Croatian  (1)
  6. French  (1)
  7. Spanish  (1)
  8. Serbo-Croatian  (1)
  9. Lựa chọn khác open sub menu

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. Ohata, Akira
  2. Conrad, Mirko
  3. Martin, Peter
  4. Nakada, Hayato
  5. Iemura, Akiyuki

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