Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (15)

Jump To : Overview | Titles | Subjects

Margaria, Tiziana.

Overview

Works:	1 works in 15 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: Lamprecht, Anna-Lena.; Margaria, Tiziana.; SpringerLink (Online service) (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)

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: ISoLA (Symposium) (2016 :); Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service) (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: ISoLA (Symposium) (2016 :); Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service) (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: TACAS (Conference) (2017 :); Legay, Axel.; Margaria, Tiziana.; SpringerLink (Online service); ETAPS (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.; Graf, Susanne.; Larsen, Kim G.; Steffen, Bernhard,; SpringerLink (Online service) (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: ETAPS (Conference) (2017 :); TACAS (Conference) (2017 :); Legay, Axel.; Margaria, Tiziana.; SpringerLink (Online service) (Electronic resources)

Leveraging applications of formal methods, verification, and validation = 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.. Part I/ by: Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service) (Language materials, printed)

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. Operating Systems. Computation by Abstract Devices. Artificial Intelligence (incl. Robotics) Information Systems Applications (incl. Internet) Database Management. Algorithm Analysis and Problem Complexity. 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. 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) System analysis

Change password

Login