語系
ISoLA (Symposium) (2024 :)
概要
| 作品: | 1 作品在 5 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-電子資源)
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.
(書目-電子資源)
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)
(書目-電子資源)
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.
(書目-電子資源)
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)
(書目-電子資源)
主題
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.