Languages
ISoLA (Symposium) (2024 :)
Overview
| Works: | 1 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Leveraging applications of formal methods, verification and validation = REoCAS Colloquium in Honor of Rocco De Nicola : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part I /
by:
ISoLA (Symposium) (2024 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Leveraging applications of formal methods, verification and validation = rigorous engineering of collective adaptive systems : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part II /
by:
ISoLA (Symposium) (2024 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Leveraging applications of formal methods, verification and validation = specification and verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part III /
by:
ISoLA (Symposium) (2024 :); Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service)
(Electronic resources)
Leveraging applications of formal methods, verification and validation = software engineering methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part IV /
by:
Margaria, Tiziana.; ISoLA (Symposium) (2024 :); SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Leveraging applications of formal methods, verification and validation = application areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part V /
by:
ISoLA (Symposium) (2024 :); Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Control Structures and Microprogramming.
Formal methods (Computer science)
Computer Science Logic and Foundations of Programming.
Special Purpose and Application-Based Systems.
Formal Languages and Automata Theory.
Computer software- Verification
Computer System Implementation.