語系
Fantechi, Alessandro.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-電子資源)
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)
(書目-電子資源)
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)
(書目-電子資源)
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.
(書目-電子資源)
主題
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.