প্রস্তাবিত প্রসঙ্গ আপনার সার্চের মধ্যে
প্রদর্শন 1 - 15 ফলাফল এর 15 অনুসন্ধানের জন্য '"Formal methods"', জিজ্ঞাসা করার সময়: 0.32সেকেন্ড ফলাফল পরিমার্জন করুন
1
Formal Methods: Foundations and Applications
অনুযায়ী Davies, Jim, Silva, Leila, Simao, Adenilso
প্রকাশিত 2015
বিষয়গুলি: “...Formal methods...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
সম্পূর্ণ পাঠ পাওয়ার জন্য
তালিকাভুক্ত করুন
সংরক্ষণ করুন:
2
Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /
প্রকাশিত 2001
বিষয়গুলি: “...Formal methods (Computer science) Congresses....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
তালিকাভুক্ত করুন
সংরক্ষণ করুন:
3
Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
অনুযায়ী Counsell, Steve, Núñez, Manuel
প্রকাশিত 2015
বিষয়গুলি: “...Formal methods...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
সম্পূর্ণ পাঠ পাওয়ার জন্য
তালিকাভুক্ত করুন
সংরক্ষণ করুন:
4
Languages, Design Methods, and Tools for Electronic System Design:Selected Contributions from FDL 2013
অনুযায়ী Louërat, Marie-Minerve, Maehne, Torsten
প্রকাশিত 2015
বিষয়গুলি: “...Formal methods (Computer science)...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
সম্পূর্ণ পাঠ পাওয়ার জন্য
তালিকাভুক্ত করুন
সংরক্ষণ করুন:
5
Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
অনুযায়ী Núñez, Manuel, Güdemann, Matthias
প্রকাশিত 2015
বিষয়গুলি: “...Formal methods...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
সম্পূর্ণ পাঠ পাওয়ার জন্য
তালিকাভুক্ত করুন
সংরক্ষণ করুন:
6
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
অনুযায়ী Bernardo, Marco, Johnsen, Einar Broch
প্রকাশিত 2015
বিষয়গুলি: “...Formal methods...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
সম্পূর্ণ পাঠ পাওয়ার জন্য
তালিকাভুক্ত করুন
সংরক্ষণ করুন:
7
Closing a system in the dynamic input/output automata model /
অনুযায়ী Kapus, Tatjana.
বিষয়গুলি: “...Formal methods...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
তালিকাভুক্ত করুন
সংরক্ষণ করুন:
8
Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
অনুযায়ী Baixeries, Jaume, Sacarea, Christian, Ojeda-Aciego, Manuel
প্রকাশিত 2015
বিষয়গুলি: “...Formal methods...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
সম্পূর্ণ পাঠ পাওয়ার জন্য
তালিকাভুক্ত করুন
সংরক্ষণ করুন:
9
Formal analysis of hybrid prefix/carry-select arithmetic systems /
বিষয়গুলি: “...Formal methods...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
তালিকাভুক্ত করুন
সংরক্ষণ করুন:
10
Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
অনুযায়ী Graf, Susanne, Viswanathan, Mahesh
প্রকাশিত 2015
বিষয়গুলি: “...Formal methods...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
সম্পূর্ণ পাঠ পাওয়ার জন্য
তালিকাভুক্ত করুন
সংরক্ষণ করুন:
11
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
অনুযায়ী Bjørner, Nikolaj, de Boer, Frank
প্রকাশিত 2015
বিষয়গুলি: “...Formal methods...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
সম্পূর্ণ পাঠ পাওয়ার জন্য
তালিকাভুক্ত করুন
সংরক্ষণ করুন:
12
Modeling and verification using UML statecharts :
অনুযায়ী Drusinsky, Doron
প্রকাশিত 2006
বিষয়গুলি: “...UML (Computer science),Formal methods (Computer science),Computer software,UML ( khoa học máy...”
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ
তালিকাভুক্ত করুন
সংরক্ষণ করুন:
13
Modeling and verification using UML statecharts :
অনুযায়ী Drusinsky, Doron
প্রকাশিত 2006
বিষয়গুলি: “...UML (Computer science),Formal methods (Computer science),Computer software,UML ( khoa học máy...”
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ
তালিকাভুক্ত করুন
সংরক্ষণ করুন:
14
Modeling and verification of real-time systems :
প্রকাশিত 2008
বিষয়গুলি: “...Real-time data processing,Computer software,Formal methods (Computer science),Xử lý dữ liệu...”
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ
তালিকাভুক্ত করুন
সংরক্ষণ করুন:
15
Verification techniques for system-level design
অনুযায়ী Fujita, Masahiro
প্রকাশিত 2008
বিষয়গুলি: “...Integrated circuits,Formal methods (Computer science),Mạch tích hợp,Phương pháp hình thức...”
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ
তালিকাভুক্ত করুন
সংরক্ষণ করুন:
অনুসন্ধান সাধনীগুলি: আরএসএস প্রতিক্রিয়া পাওয়ার জন্য — এই ই-মেইলটি অনুসন্ধান করুন — অনুসন্ধান সংরক্ষণ করুন