Languages
Margaria, Tiziana.
Overview
Works: | 1 works in 19 publications in 1 languages |
---|
Titles
Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part IV /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part III /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Leveraging applications of formal methods, verification and validationfoundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.Part I /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part II /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Tools and algorithms for the construction and analysis of systems7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6,2001 : proceedings /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Yi, Wang.
(Electronic resources)
Leveraging applications of formal methods, verification and validationtools and trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.Part IV /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part I /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Service-oriented computing - ICSOC 20086th international conference, Sydney, Australia, December 1-5, 2008 : proceedings /
by:
Bouguettaya, Athman.; ICSOC 2008 (Sydney, N.S.W.)) ((2008 :); Krueger, Ingolf.; Margaria, Tiziana.; SpringerLink (Online service)
(Electronic resources)
Models, mindsets, metathe what, the how, and the why not? : essays dedicated to Bernhard Steffen on the occasion of his 60th birthday /
by:
Graf, Susanne.; Larsen, Kim G.; Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard,
(Electronic resources)
Process design for natural scientistsan agile model-driven approach /
by:
Lamprecht, Anna-Lena.; Margaria, Tiziana.; SpringerLink (Online service)
(Language materials, printed)
Leveraging applications of formal methods, verification, and validation4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.Part II /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Leveraging applications of formal methods, verification, and validation4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.Part I /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Leveraging applications of formal methods, verification and validationverification principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.Part I /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Tools and algorithms for the construction and analysis of systems23rd 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:
(1998 :); Legay, Axel.; Margaria, Tiziana.; SpringerLink (Online service)
(Electronic resources)
Tools and algorithms for the construction and analysis of systems23rd 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:
(1998 :); Legay, Axel.; Margaria, Tiziana.; SpringerLink (Online service)
(Electronic resources)
Leveraging applications of formal methods, verification and validation. Technologies for mastering change5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.Part I /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Leveraging applications of formal methods, verification and validation. Applications and case studies5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.Part II /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Leveraging applications of formal methods, verification and validationapplications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.Part III /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Leveraging applications of formal methods, verification and validationspecialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings.Part II /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Language materials, printed)
Leveraging applications of formal methods, verification and validationengineering principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.Part II /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Correct hardware design and verification methods11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings /
by:
(1998 :); Margaria, Tiziana.; Melham, Tom.; SpringerLink (Online service)
(Electronic resources)
Leveraging applications of formal methods, verification and validationtechnologies for mastering change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings.Part I /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Language materials, printed)
Leveraging applications of formal methods, verification and validationdiscussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.Part II /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Show more
Fewer
Subjects
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Computing Methodologies.
Theory of Computation.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Computer software
Operating Systems.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Science
Information Systems Applications (incl. Internet)
Database Management.
Algorithm Analysis and Problem Complexity.
System design
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Information Storage and Retrieval.
Robots
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
The Computing Profession.
Computer science
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
Computers and Society.
Simulation and Modeling.
Computer Systems Organization and Communication Networks.
Computer System Implementation.
Blockchains (Databases)
Integrated circuits
System analysis