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ả 21 - 40 của 5.748  trong Tất cả tài nguyên

previous page 1 Kết quả 2 3 4 5 next page
Chỉ hiển thị
Result Number Material Type Add to My Shelf Action Record Details and Options
21
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Parallel real time computation of large scale pedestrian evacuations

Wagoum, Armel Ulrich Kemloh ; Steffen, Bernhard ; Seyfried, Armin ; Chraibi, Mohcine

Advances in Engineering Software, June-July, 2013, Vol.60-61, p.98(6) [Tạp chí có phản biện]

ISSN: 0965-9978

Toàn văn sẵn có

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

UPPAAL in Practice: Quantitative Verication of a RapidIO Network

Xing, Jiansheng ; Theelen, Bart D. ; Langerak, Rom ; van de Pol, Jaco ; Tretmans, Jan ; Voeten, J.P.M. ; Margaria, Tiziana ; Steffen, Bernhard; Faculty of Electrical Engineering, Mathematics & Computer Science ; Formal Methods and Tools

Leveraging Applications of Formal Methods, Verification, and Validation, 2010, pp.160-174 [Tạp chí có phản biện]

ISBN: 978-3-642-16560-3 ; ISBN: 978-3-642-16561-0

Toàn văn sẵn có

23
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

A Broader View on Verification: From Static to Runtime and Back (Track Summary)

Ahrendt, Wolfgang ; Huisman, Marieke ; Reger, Giles ; Rozier, Kristin Yvonne ; Margaria, Tiziana ; Steffen, Bernhard; Formal Methods and Tools

ISBN: 978-3-030-03420-7 ; ISBN: 978-3-030-03421-4

Toàn văn sẵn có

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

Software that meets its Intent

Huisman, Marieke ; Bos, Herbert ; Brinkkemper, Sjaak ; van Deursen, Arie ; Groote, Jan Friso ; Lago, Patricia ; van de Pol, Jaco ; Visser, Eelco ; Margaria, Tiziana ; Steffen, Bernhard; Faculty of Electrical Engineering, Mathematics & Computer Science

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016, pp.609-625 [Tạp chí có phản biện]

ISBN: 978-3-319-47168-6 ; ISBN: 978-3-319-47169-3

Toàn văn sẵn có

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

Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond

Neubauer, Johannes ; Steffen, Bernhard ; Margaria, Tiziana; Margaria, Tiziana (pacrepositoryorg)

arXiv.org, Sep 20, 2013

DOI: 10.4204/EPTCS.129.16

Toàn văn sẵn có

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

Evolution support in heterogeneous service-oriented landscapes

Margaria, Tiziana ; Steffen, Bernhard ; Kubczak, Christian

Journal of the Brazilian Computer Society, 2010, Vol.16(1), pp.35-47 [Tạp chí có phản biện]

ISSN: 0104-6500 ; E-ISSN: 1678-4804 ; DOI: 10.1007/s13173-010-0004-4

Toàn văn sẵn có

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

Assuring property conformance of code generators via model checking

Jörges, Sven ; Margaria, Tiziana ; Steffen, Bernhard

Formal Aspects of Computing, 2011, Vol.23(5), pp.589-606 [Tạp chí có phản biện]

ISSN: 0934-5043 ; E-ISSN: 1433-299X ; DOI: 10.1007/s00165-010-0169-9

Toàn văn sẵn có

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

Active learning for extended finite state machines

Cassel, Sofia ; Howar, Falk ; Jonsson, Bengt ; Steffen, Bernhard

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

ISSN: 0934-5043 ; E-ISSN: 1433-299X ; DOI: 10.1007/s00165-016-0355-5

Toàn văn sẵn có

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

Topological Representation of Intuitionistic and Distributive Abstract Logics

Brunner, Andreas ; Lewitzka, Steffen

Logica Universalis, 2017, Vol.11(2), pp.153-175 [Tạp chí có phản biện]

ISSN: 1661-8297 ; E-ISSN: 1661-8300 ; DOI: 10.1007/s11787-017-0166-3

Toàn văn sẵn có

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

CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools

Naujokat, Stefan ; Lybecait, Michael ; Kopetzki, Dawid ; Steffen, Bernhard

International Journal on Software Tools for Technology Transfer, 2018, Vol.20(3), pp.327-354 [Tạp chí có phản biện]

ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: 10.1007/s10009-017-0453-6

Toàn văn sẵn có

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

Scientific workflows with the jABC framework

Lamprecht, Anna-Lena ; Steffen, Bernhard ; Margaria, Tiziana

International Journal on Software Tools for Technology Transfer, 2016, Vol.18(6), pp.629-651 [Tạp chí có phản biện]

ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: 10.1007/s10009-016-0427-0

Toàn văn sẵn có

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

Learning register automata: from languages to program structures

Isberner, Malte ; Howar, Falk ; Steffen, Bernhard

Machine Learning, 2014, Vol.96(1), pp.65-98 [Tạp chí có phản biện]

ISSN: 0885-6125 ; E-ISSN: 1573-0565 ; DOI: 10.1007/s10994-013-5419-7

Toàn văn sẵn có

Phiên bản sẵn có
33
RELIABILITY ISSUES IN THE MICROSCOPIC MODELING OF PEDESTRIAN MOVEMENT
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

RELIABILITY ISSUES IN THE MICROSCOPIC MODELING OF PEDESTRIAN MOVEMENT

Steffen, Bernhard ; Seyfried, Armin ; Boltes, Maik

Mathematical Results In Quantum Physics : (With DVD-ROM), 2011, pp.254-259

ISBN: 9789814350365 ; DOI: 10.1142/9789814350365_0030

Toàn văn sẵn có

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

Complex formation of trivalent americium with salicylic acid at very low concentrations.(Report)

Muller, Melanie ; Acker, Margret ; Taut, Steffen ; Bernhard, Gert

Journal of Radioanalytical and Nuclear Chemistry, Oct, 2010, Vol.286(1), p.175(6) [Tạp chí có phản biện]

ISSN: 0236-5731

Toàn văn sẵn có

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

A mesoscopic model for large-scale simulation of pedestrian dynamics

Tordeux, Antoine ; Lämmel, Gregor ; Hänseler, Flurin S. ; Steffen, Bernhard

Transportation Research Part C, August 2018, Vol.93, pp.128-147 [Tạp chí có phản biện]

ISSN: 0968-090X ; DOI: 10.1016/j.trc.2018.05.021

Toàn văn sẵn có

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

Flux-P: Automating Metabolic Flux Analysis

Ebert, Birgitta E. ; Lamprecht, Anna-Lena ; Steffen, Bernhard ; Blank, Lars M.

DOI: 10.18154/RWTH-CONV-079314 ; Related ISSN: 2218-1989 ; Related DOI: 10.3390/metabo2040872

Toàn văn sẵn có

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

Parallel real time computation of large scale pedestrian evacuations

Kemloh Wagoum, Armel Ulrich ; Steffen, Bernhard ; Seyfried, Armin ; Chraibi, Mohcine

Advances in Engineering Software, June-July 2013, Vol.60-61, pp.98-103 [Tạp chí có phản biện]

ISSN: 0965-9978 ; DOI: 10.1016/j.advengsoft.2012.10.001

Toàn văn sẵn có

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

A succinct canonical register automaton model

Cassel, Sofia ; Howar, Falk ; Jonsson, Bengt ; Merten, Maik ; Steffen, Bernhard

Journal of Logical and Algebraic Methods in Programming, January 2015, Vol.84(1), pp.54-66 [Tạp chí có phản biện]

ISSN: 2352-2208 ; DOI: 10.1016/j.jlamp.2014.07.004

Toàn văn sẵn có

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

Flux-P: Automating Metabolic Flux Analysis

Ebert, Birgitta ; Lamprecht, Anna-Lena ; Steffen, Bernhard ; Blank, Lars

Metabolites, 2012, Vol.2(4), pp.872-890 [Tạp chí có phản biện]

DOI: 10.3390/metabo2040872

Toàn văn sẵn có

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

A constraint-based variability modeling framework

Jörges, Sven ; Lamprecht, Anna-Lena ; Margaria, Tiziana ; Schaefer, Ina ; Steffen, Bernhard

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

ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: 10.1007/s10009-012-0254-x

Toàn văn sẵn có

Phiên bản sẵn có

Kết quả 21 - 40 của 5.748  trong Tất cả tài nguyên

previous page 1 Kết quả 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 (429)
  2. Toàn văn trực tuyến (5.747)

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước1993  (8)
  2. 1993đến1999  (13)
  3. 2000đến2006  (876)
  4. 2007đến2013  (3.428)
  5. Sau 2013  (1.419)
  6. Lựa chọn khác open sub menu

Ngôn ngữ 

  1. English  (5.730)
  2. German  (20)
  3. French  (10)
  4. Dutch  (2)
  5. Lựa chọn khác open sub menu

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