Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (16)

Jump To : Overview | Titles | Subjects

Margaria, Tiziana.

Overview

Works:	1 works in 16 publications in 1 languages

Titles

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 / by: Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service) (Electronic resources)

Process design for natural scientists = an agile model-driven approach / by: Margaria, Tiziana.; SpringerLink (Online service); Lamprecht, Anna-Lena. (Electronic resources)

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 / by: Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service) (Electronic resources)

Correct hardware design and verification methods = 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings / by: Margaria, Tiziana.; Melham, Tom.; SpringerLink (Online service); CHARME 2001 ((2001 :) (Language materials, printed)

Engineering of computer-based systems = 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023 : proceedings / by: International Conference on Engineering of Computer-Based Systems (2023 :); Kofroň, Jan.; Margaria, Tiziana.; SpringerLink (Online service); Seceleanu, Cristina. (Electronic resources)

Leveraging applications of formal methods, verification and validation = foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.. Part I / by: Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service); ISoLA (Symposium) (2016 :) (Electronic resources)

Leveraging applications of formal methods, verification and validation = discussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.. Part II / by: Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service); ISoLA (Symposium) (2016 :) (Electronic resources)

Tools and algorithms for the construction and analysis of systems = 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings.. Part II / by: Margaria, Tiziana.; SpringerLink (Online service); Legay, Axel.; ETAPS (Conference) (2017 :); TACAS (Conference) (2017 :) (Electronic resources)

Models, mindsets, meta = the what, the how, and the why not? : essays dedicated to Bernhard Steffen on the occasion of his 60th birthday / by: Margaria, Tiziana.; SpringerLink (Online service); Graf, Susanne.; Larsen, Kim G.; Steffen, Bernhard, (Electronic resources)

Tools and algorithms for the construction and analysis of systems = 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings.. Part I / by: Margaria, Tiziana.; SpringerLink (Online service); Legay, Axel.; ETAPS (Conference) (2017 :); TACAS (Conference) (2017 :) (Electronic resources)

Show more

Subjects

Integrated circuits- Verification Integrated circuits- Very large scale integration Software engineering Software Engineering. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Computer software- Validation Science- Data processing. Robots- Programming Software Engineering/Programming and Operating Systems. Systems engineering Operating Systems. Computation by Abstract Devices. Artificial Intelligence (incl. Robotics) Information Systems Applications (incl. Internet) Database Management. Algorithm Analysis and Problem Complexity. Control Structures and Microprogramming. System design- Congresses. Programming Languages, Compilers, Interpreters. Formal methods (Computer science) Information Storage and Retrieval. System design Computer science- Philosophy. Special Purpose and Application-Based Systems. Data Mining and Knowledge Discovery. Models and Principles. Computer Engineering and Networks. Information Systems Applications (incl.Internet) Service-oriented architecture (Computer science) Business Information Systems. Machine learning Artificial Intelligence. Computer software- Development Computer Science. Computer Communication Networks. Computer software- Verification Computers and Society. Simulation and Modeling. Computer System Implementation. Blockchains (Databases) Computer Hardware. System analysis Computer engineering

Change password

Login