Margaria-Steffen, Tiziana.
Overview
| Works: | 1 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Leveraging applications of formal methods, verification and validationverification principles : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part I /
by:
(1998 :); Margaria-Steffen, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Leveraging applications of formal methods, verification and validationsoftware engineering : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part II /
by:
(1998 :); Margaria-Steffen, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Services and visualizationtowards user-friendly design : ACoS'98, VISUAL'98, AIN'97 selected papers /
by:
(1998 :); Margaria-Steffen, Tiziana.; SpringerLink (Online service)
(Electronic resources)
Leveraging applications of formal methods, verification and validationadaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part III /
by:
(1998 :); Margaria-Steffen, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Leveraging applications of formal methods, verification and validation10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021 : proceedings /
by:
(1998 :); Margaria-Steffen, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Leveraging applications of formal methods, verification and validationpractice : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part IV /
by:
(1998 :); Margaria-Steffen, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Subjects
User interfaces (Computer systems)
Software engineering
Software Engineering.
Theory of Computation.
Data Structures and Information Theory.
Software Engineering/Programming and Operating Systems.
Computer software
Programming Techniques.
Control Structures and Microprogramming.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
Artificial Intelligence.
Formal Languages and Automata Theory.
Computer System Implementation.
Human-computer interaction
Computer Applications.