Languages
Fantechi, Alessandro.
Overview
| Works: | 0 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Software engineering for resilient systems = 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings /
by:
Fantechi, Alessandro.; Pelliccione, Patrizio.; SpringerLink (Online service)
(Electronic resources)
From software engineering to formal methods and tools, and back = essays dedicated to Stefania Gnesi on the occasion of her 65th Birthday /
by:
ter Beek, Maurice H.; Fantechi, Alessandro.; Semini, Laura.; SpringerLink (Online service)
(Electronic resources)
Reliability, safety, and security of railway systems = modelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017 : proceedings /
by:
RSSRail (Conference) (2017 :); Fantechi, Alessandro.; Lecomte, Thierry.; Romanovsky, Alexander.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Theory of Computation.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Information Systems Applications (incl. Internet)
Management of Computing and Information Systems.
Control Structures and Microprogramming.
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Software engineering.
Formal methods (Computer science)
Railroads- Safety measures
Artificial Intelligence.
Computer software- Reliability
Computer Science.
Computer Communication Networks.
Computer Systems Organization and Communication Networks.
Systems and Data Security.