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 78  trong Tất cả tài nguyên

Kết quả 1 2 3 4 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

Formal modelling and verification of GALS systems using GRL and CADP

Jebali, Fatma ; Lang, Frédéric ; Mateescu, Radu

Formal Aspects of Computing, 2016, Vol.28(5), pp.767-804 [Tạp chí có phản biện]

ISSN: 0934-5043 ; E-ISSN: 1433-299X ; DOI: 10.1007/s00165-016-0373-3

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

Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach

Navarre, David ; Palanque, Philippe ; Barboni, Eric ; Ladry, Jean-François ; Martinie, Célia

Reliability Engineering and System Safety, 2011, Vol.96(1), pp.38-52 [Tạp chí có phản biện]

ISSN: 0951-8320 ; E-ISSN: 1879-0836 ; DOI: 10.1016/j.ress.2010.06.028

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 multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems

Martinie, Célia ; Navarre, David ; Palanque, Philippe

International Journal of Human - Computer Studies, January 2014, Vol.72(1), pp.77-99 [Tạp chí có phản biện]

ISSN: 1071-5819 ; E-ISSN: 1095-9300 ; DOI: 10.1016/j.ijhcs.2013.08.013

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

Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language

Barboni, Eric ; Martinie, Célia ; Navarre, David ; Palanque, Philippe ; Winckler, Marco

Science of Computer Programming, 15 June 2014, Vol.86, pp.3-29 [Tạp chí có phản biện]

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

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

Some notes on the history of protocol engineering

Bochmann, Gregor V ; Rayner, Dave ; West, Colin H

Computer Networks, 2010, Vol.54(18), pp.3197-3209 [Tạp chí có phản biện]

ISSN: 1389-1286 ; E-ISSN: 1872-7069 ; DOI: 10.1016/j.comnet.2010.05.019

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

Early project estimation in the formal communication protocol development

Huang, Sun-Jen

Information & Management, 2001, Vol.38(7), pp.449-458 [Tạp chí có phản biện]

ISSN: 0378-7206 ; E-ISSN: 1872-7530 ; DOI: 10.1016/S0378-7206(00)00081-1

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

Using LOTOS in the specification of industrial bus communication protocols

Mariño, Perfecto ; Ángel Domı́nguez, Miguel ; Poza, Francisco ; Vázquez, Fernando

Computer Networks, 2004, Vol.45(6), pp.767-799 [Tạp chí có phản biện]

ISSN: 1389-1286 ; E-ISSN: 1872-7069 ; DOI: 10.1016/j.comnet.2004.03.029

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

TTL: a modular language for hardware/software systems design

Carchiolo, Vincenza ; Malgeri, Michele ; Mangioni, Giuseppe

Journal of Computer and System Sciences, 2003, Vol.66(2), pp.293-315 [Tạp chí có phản biện]

ISSN: 0022-0000 ; E-ISSN: 1090-2724 ; DOI: 10.1016/S0022-0000(03)00002-3

Toàn văn sẵn có

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

Formal modeling in a commercial setting: A case study

Chechik, Marsha ; Wong, Andre

The Journal of Systems & Software, 2002, Vol.60(1), pp.59-82 [Tạp chí có phản biện]

ISSN: 0164-1212 ; E-ISSN: 1873-1228 ; DOI: 10.1016/S0164-1212(01)00080-2

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

A compiler to implement LOTOS specifications in distributed environments

Yasumoto, Keiichi ; Higashino, Teruo ; Taniguchi, Kenichi

Computer Networks, 2001, Vol.36(2), pp.291-310 [Tạp chí có phản biện]

ISSN: 1389-1286 ; E-ISSN: 1872-7069 ; DOI: 10.1016/S1389-1286(01)00157-8

Toàn văn sẵn có

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

SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study

Pazos Arias, José J. ; Duque, Jorge García

Formal Aspects of Computing, 2001, Vol.13(1), pp.50-91 [Tạp chí có phản biện]

ISSN: 0934-5043 ; E-ISSN: 1433-299X ; DOI: 10.1007/PL00003939

Toàn văn sẵn có

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

Integrating Schedulability Analysis and Design Techniques in SDL

Alvarez, José ; Diaz, Manuel ; Llopis, Luis ; Pimentel, Ernesto ; Troya, José

Real-Time Systems, 2003, Vol.24(3), pp.267-302 [Tạp chí có phản biện]

ISSN: 0922-6443 ; E-ISSN: 1573-1383 ; DOI: 10.1023/A:1022804400802

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

Protocol validation — principles and applications

West, Colin H

Computer Networks and ISDN Systems, 1992, Vol.24(3), pp.219-242 [Tạp chí có phản biện]

ISSN: 0169-7552 ; DOI: 10.1016/0169-7552(92)90110-C

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

Introduction to LOTOS through a worked example

Drayton, Lynne ; Chetwynd, Amanda ; Blair, Gordon

Computer Communications, 1992, Vol.15(2), pp.70-85 [Tạp chí có phản biện]

ISSN: 0140-3664 ; E-ISSN: 1873-703X ; DOI: 10.1016/0140-3664(92)90127-Z

Toàn văn sẵn có

Phiên bản sẵn có
15
Formal framework for modelling and verifying globally asynchronous locally synchronous systems
Material Type:
Luận văn, Luận án
Thêm vào Góc nghiên cứu

Formal framework for modelling and verifying globally asynchronous locally synchronous systems

Jebali, Fatma

Toàn văn sẵn có

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

Standardization of formal methods in conformance testing of communication protocols

Cavalli, Ana R ; Favreau, Jean Philippe ; Phalippou, Marc

Computer Networks and ISDN Systems, 1996, Vol.29(1), pp.3-14 [Tạp chí có phản biện]

ISSN: 0169-7552 ; DOI: 10.1016/S0169-7552(96)00015-3

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

TTCN: Towards a formal semantics and validation of test suites

Kristoffersen, Finn ; Walter, Thomas

Computer Networks and ISDN Systems, 1996, Vol.29(1), pp.15-47 [Tạp chí có phản biện]

ISSN: 0169-7552 ; DOI: 10.1016/S0169-7552(96)00016-5

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

Strategies for consistency checking based on unification

Bowman, H ; Boiten, E.A ; Derrick, J ; Steen, M.W.A

Science of Computer Programming, 1999, Vol.33(3), pp.261-298 [Tạp chí có phản biện]

ISSN: 0167-6423 ; E-ISSN: 1872-7964 ; DOI: 10.1016/S0167-6423(98)00017-3

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

Timed verification of the reliable adaptive multicast protocol

Lai, Richard ; Tsang, Tony

The Journal of Systems & Software, 2007, Vol.80(2), pp.224-239 [Tạp chí có phản biện]

ISSN: 0164-1212 ; E-ISSN: 1873-1228 ; DOI: 10.1016/j.jss.2006.04.003

Toàn văn sẵn có

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

What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?

Winckler, Marco ; Barboni, Eric ; Palanque, Philippe ; Farenc, Christelle

Electronic Notes in Theoretical Computer Science, 22 May 2006, Vol.157(2), pp.207-211 [Tạp chí có phản biện]

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

Toàn văn sẵn có

Phiên bản sẵn có

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

Kết quả 1 2 3 4 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 (69)

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước1990  (9)
  2. 1990đến1994  (27)
  3. 1995đến1999  (18)
  4. 2000đến2004  (13)
  5. Sau 2004  (11)
  6. 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. Palanque, Philippe
  2. Martinie, Célia
  3. Pimentel, Ernesto
  4. Llopis, Luis
  5. Barboni, Eric

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