प्रस्तावित विषय : खोज निहित
Showing 1 - 15 results of 15 for search '"Formal methods"', सवाल का समय: 0.09सेकंड परिणाम को परिष्कृत करें
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ơ
सूची में सहेजें
में बचाया:
खोज साधन : RSS फ़ीड प्राप्त करें — इस खोज को ईमेल करें — खोज संग्रहित करें