Margaria, Tiziana.
Overview
Works: | 1 works in 11 publications in 1 languages |
---|
Titles
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:
Steffen, Bernhard.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Margaria, Tiziana.
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III /
by:
Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
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:
Steffen, Bernhard.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Margaria, Tiziana.
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation. Modeling = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I /
by:
Steffen, Bernhard.; Margaria, Tiziana.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Leveraging Applications of Formal Methods, Verification and Validation. Verification = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II /
by:
Steffen, Bernhard.; Margaria, Tiziana.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
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:
SpringerLink (Online service); Margaria, Tiziana.; Steffen, Bernhard.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part I /
by:
SpringerLink (Online service); Margaria, Tiziana.; Steffen, Bernhard.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends = 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV /
by:
Steffen, Bernhard.; Margaria, Tiziana.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part II /
by:
Margaria, Tiziana.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Steffen, Bernhard.
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles = 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II /
by:
Steffen, Bernhard.; Margaria, Tiziana.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Leveraging Applications of Formal Methods, Verification and Validation = 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings /
by:
Steffen, Bernhard.; SpringerLink (Online service); Margaria, Tiziana.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Models, Mindsets, Meta: The What, the How, and the Why Not? = Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday /
by:
Larsen, Kim G.; Graf, Susanne.; Margaria, Tiziana.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Models, mindsets, meta = the what, the how, and the why not? : essays dedicated to Bernhard Steffen on the occasion of his 60th birthday /
by:
Larsen, Kim G.; SpringerLink (Online service); Graf, Susanne.; Margaria, Tiziana.; Steffen, Bernhard,
(Language materials, printed)
Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part III /
by:
SpringerLink (Online service); Margaria, Tiziana.; Steffen, Bernhard.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part IV /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Steffen, Bernhard.; Margaria, Tiziana.; SpringerLink (Online service)
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning = 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III /
by:
Steffen, Bernhard.; Margaria, Tiziana.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Leveraging Applications of Formal Methods, Verification and Validation. Practice = 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV /
by:
Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV /
by:
Steffen, Bernhard.; SpringerLink (Online service); Margaria, Tiziana.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles = 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I /
by:
Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Service-oriented computing - ICSOC 2008 = 6th international conference, Sydney, Australia, December 1-5, 2008 : proceedings /
by:
Margaria, Tiziana.; Bouguettaya, Athman.; SpringerLink (Online service); ICSOC 2008 (Sydney, N.S.W.)) ((2008 :); Krueger, Ingolf.
(Language materials, printed)
Software business = from physical products to software services and solutions : 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013 : proceedings /
by:
Herzwurm, Georg.; Workshop on the Preservation of Stability under Discretization ((2001 :); Margaria, Tiziana.; SpringerLink (Online service)
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation: Applications = 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III /
by:
Steffen, Bernhard.; SpringerLink (Online service); Margaria, Tiziana.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering = 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II /
by:
SpringerLink (Online service); Margaria, Tiziana.; Steffen, Bernhard.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles = 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I /
by:
SpringerLink (Online service); Margaria, Tiziana.; Steffen, Bernhard.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Leveraging Applications of Formal Methods, Verification and Validation = 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings /
by:
Steffen, Bernhard.; SpringerLink (Online service); Margaria, Tiziana.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends = 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV /
by:
SpringerLink (Online service); Margaria, Tiziana.; Steffen, Bernhard.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
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:
Steffen, Bernhard.; Margaria, Tiziana.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
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.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Steffen, Bernhard.
(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:
SpringerLink (Online service); Margaria, Tiziana.; Steffen, Bernhard.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Show more
Fewer
Subjects
Computer System Implementation.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Computer programming.
Programming Techniques.
Computer Systems Organization and Communication Networks.
Information Systems Applications (incl.Internet)
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science
Algorithms.
Robots
Computer and Information Systems Applications.
Artificial Intelligence (incl. Robotics)
Application software.
Artificial Intelligence.
Computer Applications.
Machine theory.
Information Storage and Retrieval.
Business Information Systems.
Computers.
Software engineering
Computing Methodologies.
Programming Languages, Compilers, Interpreters.
Models and Principles.
Compilers (Computer programs).
Software Engineering.
Software Engineering/Programming and Operating Systems.
Data Structures and Information Theory.
Algorithm Analysis and Problem Complexity.
Computer logic.
Computer networks .
Operating Systems.
Information theory.
Formal Languages and Automata Theory.
Computers, Special purpose.
Service-oriented architecture (Computer science)
The Computing Profession.
Architecture, Computer.
Data structures (Computer science).
Computer Science.
Microprogramming .
Compilers and Interpreters.
Special purpose computers.
Computer Engineering and Networks.
Management of Computing and Information Systems.
Machine learning
Computers and Society.
Computer software industry
Special Purpose and Application-Based Systems.
Computer systems.
Control Structures and Microprogramming.
Computer science.
Entrepreneurship.
The Computer Industry.
Programming languages (Electronic computers).
Computer software
Computation by Abstract Devices.
Computer Science Logic and Foundations of Programming.
Mathematical logic.
Formal methods (Computer science)
Computer organization.
Computer engineering.