Languages
Cerone, Antonio.
Overview
| Works: | 0 works in 7 publications in 1 languages | |
|---|---|---|
Titles
Software engineering and formal methods = SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017 : revised selected papers /
by:
International Conference on Software Engineering and Formal Methods (2017 :); Cerone, Antonio.; Roveri, Marco.; SpringerLink (Online service); DataMod (Workshop) (2017 :); FAACS (Workshop) (2017 :); MSE (Workshop) (2017 :); CoSim-CPS (Workshop) (2017 :); International Workshop on the Foundations of Coordination Languages and Software Architectures (2017 :)
(Electronic resources)
Software engineering and formal methods = 18th International Conference, SEFM 2020, Amsterdam, the Netherlands, September 14-18, 2020 : proceedings /
by:
International Conference on Software Engineering and Formal Methods (2020 :); Boer, Frank de.; Cerone, Antonio.; SpringerLink (Online service)
(Electronic resources)
Theoretical aspects of computing - ICTAC 2021 = 18th International Colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8-10, 2021 : proceedings /
by:
ICTAC (Colloquium) (2021 :); Cerone, Antonio.; Olveczky, Peter Csaba.; SpringerLink (Online service)
(Electronic resources)
Software engineering and formal methods = SEFM 2021 collocated workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, virtual event, December 6-10, 2021 : revised selected papers /
by:
Cerone, Antonio.; SpringerLink (Online service); International Conference on Software Engineering and Formal Methods (2021 :)
(Electronic resources)
Formal methods - fun for everybody = first International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019 : revised selected papers /
by:
International Workshop on Formal Methods Fun for Everybody (2019 :); Cerone, Antonio.; Roggenbach, Markus.; SpringerLink (Online service)
(Electronic resources)
Information technology and open source: applications for education, innovation, and sustainability = SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers /
by:
Cerone, Antonio.; SpringerLink (Online service)
(Electronic resources)
Formal methods for an informal world = ICTAC 2021 Summer School, virtual event, Astana, Kazakhstan, September 1-7, 2021 : tutorial lectures /
by:
ICTAC (Summer School) ((2021 :); Cerone, Antonio.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Software engineering
Computing Methodologies.
Mathematical Logic and Formal Languages.
Input/Output and Data Communications.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Computer and Information Systems Applications.
Programming Language.
Artificial Intelligence (incl. Robotics)
Computing Milieux.
Control Structures and Microprogramming.
Control and Systems Theory.
Formal methods (Computer science)
Special Purpose and Application-Based Systems.
Computer Science Logic and Foundations of Programming.
Education- Data processing
Formal methods (Computer science)- Study and teaching
Artificial Intelligence.
Computer science
Control, Robotics, Automation.
Information technology
Computer Science.
Simulation and Modeling.
Computers and Society.
Computer Systems Organization and Communication Networks.
Computer Hardware.
Computers and Education.
Artificial intelligence.
Computers, Special purpose.
Computer Applications.