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 5.748  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

The physics of software tools: SWOT analysis and vision

Steffen, Bernhard

International Journal on Software Tools for Technology Transfer, 2017, Vol.19(1), pp.1-7 [Tạp chí có phản biện]

ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: 10.1007/s10009-016-0446-x

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

Initial anticonvulsant monotherapy in routine care of children and adolescents: levetiracetam fails more frequently than valproate and oxcarbazepine due to a lack of effectiveness.(Report)

Bertsche, Astrid ; Neininger, Martina P. ; Dahse, Anna J. ; Syrbe, Steffen ; Bernhard, Matthias K. ; Frontini, Roberto ; Kiess, Wieland ; Bertsche, Thilo ; Merkenschlager, Andreas

European Journal of Pediatrics, Jan, 2014, Vol.173(1), p.87(6) [Tạp chí có phản biện]

ISSN: 0340-6199

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

Static and runtime verification, competitors or friends?: (Track summary)

Gurov, Dilian ; Havelund, Klaus ; Huisman, Marieke ; Monahan, Rosemary ; Margaria, Tiziana ; Steffen, Bernhard; Formal Methods and Tools

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016, pp.397-401 [Tạp chí có phản biện]

ISBN: 978-3-319-47165-5 ; ISBN: 978-3-319-47166-2

Toàn văn sẵn có

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

Forever software

Rensink, Arend ; Margaria, Tiziana ; Steffen, Bernhard; Formal Methods and Tools ; Faculty of Electrical Engineering, Mathematics & Computer Science

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014, pp.535-537 [Tạp chí có phản biện]

ISBN: 978-3-662-45233-2 ; ISBN: 978-3-662-45234-9

Toàn văn sẵn có

5
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, 25 November 2010, 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ó
6
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Risk-based testing via active continuous quality control

Neubauer, Johannes ; Windmüller, Stephan ; Steffen, Bernhard

International Journal on Software Tools for Technology Transfer, 2014, Vol.16(5), pp.569-591 [Tạp chí có phản biện]

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

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

Semantics-based composition of EMBOSS services

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

Journal of biomedical semantics, 07 March 2011, Vol.2 Suppl 1, pp.S5 [Tạp chí có phản biện]

E-ISSN: 2041-1480 ; PMID: 21388574 Version:1 ; DOI: 10.1186/2041-1480-2-S1-S5

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

Tailored generation of concurrent benchmarks

Steffen, Bernhard ; Howar, Falk ; Isberner, Malte ; Naujokat, Stefan ; Margaria, Tiziana

International Journal on Software Tools for Technology Transfer, 2014, Vol.16(5), pp.543-558 [Tạp chí có phản biện]

ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: 10.1007/s10009-014-0339-9

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

Property-driven benchmark generation: synthesizing programs of realistic structure

Steffen, Bernhard ; Isberner, Malte ; Naujokat, Stefan ; Margaria, Tiziana ; Geske, Maren

International Journal on Software Tools for Technology Transfer, 2014, Vol.16(5), pp.465-479 [Tạp chí có phản biện]

ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: 10.1007/s10009-014-0336-z

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

Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with UPPAAL STRATEGO

Ahmad, W. ; van de Pol, Jan Cornelis ; Margaria, Tiziana ; Steffen, Bernhard; Formal Methods and Tools ; Faculty of Electrical Engineering, Mathematics & Computer Science

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016, pp.94-113 [Tạp chí có phản biện]

ISBN: 978-3-319-47165-5 ; ISBN: 978-3-319-47166-2

Toàn văn sẵn có

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

Better railway engineering through statistical model checking

Ruijters, Enno ; Stoelinga, Mariëlle ; Margaria, Tiziana ; Steffen, Bernhard; Faculty of Electrical Engineering, Mathematics & Computer Science ; Formal Methods and Tools

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016, pp.151-165 [Tạp chí có phản biện]

ISBN: 978-3-319-47165-5 ; ISBN: 978-3-319-47166-2

Toàn văn sẵn có

12
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Margaria, Tiziana ; Steffen, Bernhard

Series ISSN: 0302-9743 ; ISBN: 978-3-642-34031-4 ; E-ISBN: 978-3-642-34032-1 ; DOI: 10.1007/978-3-642-34032-1

Toàn văn sẵn có

13
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Margaria, T. ; Steffen, B.;; Margaria, Tiziana ; Steffen, Bernhard

Series ISSN: 0302-9743 ; ISBN: 978-3-662-45230-1 ; E-ISBN: 978-3-662-45231-8 ; DOI: 10.1007/978-3-662-45231-8

Toàn văn sẵn có

14
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Margaria, Tiziana ; Steffen, Bernhard

Series ISSN: 0302-9743 ; ISBN: 978-3-642-34025-3 ; E-ISBN: 978-3-642-34026-0 ; DOI: 10.1007/978-3-642-34026-0

Toàn văn sẵn có

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

Rigorous examination of reactive systems

Howar, Falk ; Isberner, Malte ; Merten, Maik ; Steffen, Bernhard ; Beyer, Dirk ; Păsăreanu, Corina

International Journal on Software Tools for Technology Transfer, 2014, Vol.16(5), pp.457-464 [Tạp chí có phản biện]

ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: 10.1007/s10009-014-0337-y

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

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ó

17
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ó

18
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ó

19
Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond
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

Electronic Proceedings in Theoretical Computer Science, 9/19/2013, Vol.129, pp.259-283

E-ISSN: 2075-2180 ; DOI: http://dx.doi.org/10.4204/EPTCS.129.16

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

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ó

Kết quả 1 - 20 của 5.748  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 (442)

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước1993  (7)
  2. 1993đến1998  (13)
  3. 1999đến2004  (19)
  4. 2005đến2010  (2.862)
  5. Sau 2010  (2.843)
  6. Lựa chọn khác open sub menu

Ngôn ngữ 

  1. English  (5.728)
  2. German  (15)
  3. French  (4)
  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...