Languages
Calinescu, Radu.
Overview
| Works: | 1 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Software engineering and formal methods19th International Conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings /
by:
(1998 :); Calinescu, Radu.; Pasareanu, Corina S.; SpringerLink (Online service)
(Electronic resources)
Software engineering and formal methods13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings /
by:
(1998 :); Calinescu, Radu.; Rumpe, Bernhard.; SpringerLink (Online service)
(Electronic resources)
Software engineering for resilient systems11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019 : proceedings /
by:
(1998 :); Calinescu, Radu.; Di Giandomenico, Felicita.; SpringerLink (Online service)
(Electronic resources)
Software engineering and formal methodsSEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : revised selected papers /
by:
(1998 :); Bianculli, Domenico.; Calinescu, Radu.; Rumpe, Bernhard.; SpringerLink (Online service)
(Electronic resources)
Large-scale complex IT systemsdevelopment, operation and management : 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012 : revised selected papers /
by:
(1998 :); Calinescu, Radu.; Garlan, David.; SpringerLink (Online service)
(Electronic resources)
Foundations of computer softwaremodeling, development, and verification of adaptive systems : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31 - April 2, 2010 : revised selected papers /
by:
(1998 :); Calinescu, Radu.; Jackson, Ethan.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Logics and Meanings of Programs.
Computer software
Artificial Intelligence (incl. Robotics)
Information Systems Applications (incl. Internet)
Management of Computing and Information Systems.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Database Management.
Computing Milieux.
Information Storage and Retrieval.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Information Systems Applications (incl.Internet)
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
System Performance and Evaluation.
Information technology
Computers and Society.
Probability and Statistics in Computer Science.
Computer Systems Organization and Communication Networks.
Systems and Data Security.