語系
Fantechi, Alessandro.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-電子資源)
From software engineering to formal methods and tools, and back = essays dedicated to Stefania Gnesi on the occasion of her 65th Birthday /
by:
Fantechi, Alessandro.; SpringerLink (Online service); Semini, Laura.; ter Beek, Maurice H.
(書目-電子資源)
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.; SpringerLink (Online service); Romanovsky, Alexander.
(書目-電子資源)
主題
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.