Languages
Fantechi, Alessandro.
Overview
| Works: | 5 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Software engineering for resilient systems = 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings /
by:
SpringerLink (Online service); Pelliccione, Patrizio.; Fantechi, Alessandro.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
From Software Engineering to Formal Methods and Tools, and Back = Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday /
by:
Semini, Laura.; Fantechi, Alessandro.; SpringerLink (Online service); ter Beek, Maurice H.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Software Engineering for Resilient Systems = 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings /
by:
Pelliccione, Patrizio.; SpringerLink (Online service); Fantechi, Alessandro.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
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:
Fantechi, Alessandro.; SpringerLink (Online service); Lecomte, Thierry.; Romanovsky, Alexander.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Subjects
Software Engineering.
Mathematical logic.
Railroads
Systems and Data Security.
Computer logic.
Algorithm Analysis and Problem Complexity.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Information Systems Applications (incl. Internet).
Computer Science.
Programming Languages, Compilers, Interpreters.
Computer Systems Organization and Communication Networks.
Programming languages (Electronic computers).
Information Systems Applications (incl. Internet)
Logics and Meanings of Programs.
Algorithms.
Mathematical Logic and Formal Languages.
Computer software
Management of Computing and Information Systems.
Computer communication systems.
Application software.
Artificial Intelligence.
Control Structures and Microprogramming.
Computer science.
Management information systems.
Software engineering