Languages
Fantechi, Alessandro.
Overview
| Works: | 0 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Formal methods for industrial critical systems13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers /
by:
(1998 :); Cofer, Darren.; Fantechi, Alessandro.; SpringerLink (Online service)
(Electronic resources)
Reliability, safety, and security of railway systemsmodelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017 : proceedings /
by:
(1998 :); Fantechi, Alessandro.; Lecomte, Thierry.; Romanovsky, Alexander.; SpringerLink (Online service)
(Electronic resources)
Software engineering for resilient systems7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings /
by:
(1998 :); Fantechi, Alessandro.; Pelliccione, Patrizio.; SpringerLink (Online service)
(Electronic resources)
From software engineering to formal methods and tools, and backessays dedicated to Stefania Gnesi on the occasion of her 65th Birthday /
by:
Fantechi, Alessandro.; Semini, Laura.; SpringerLink (Online service); ter Beek, Maurice H.
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Theory of Computation.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Information Systems Applications (incl. Internet)
Management of Computing and Information Systems.
Railroads
Control Structures and Microprogramming.
Algorithm Analysis and Problem Complexity.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Software engineering.
Computer programs
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
Computer Systems Organization and Communication Networks.
Systems and Data Security.