Languages
Bartocci, Ezio.
Overview
| Works: | 0 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Lectures on runtime verification = introductory and advanced topics /
by:
Bartocci, Ezio.; Falcone, Ylies.; SpringerLink (Online service)
(Electronic resources)
Computational methods in systems biology = 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016 : proceedings /
by:
CMSB (Conference) (2016 :); Bartocci, Ezio.; Paoletti, Nicola.; SpringerLink (Online service); Lio, Pietro.
(Electronic resources)
From reactive systems to cyber-physical systems = essays dedicated to Scott A. Smolka on the occasion of his 65th birthday /
by:
Bartocci, Ezio.; SpringerLink (Online service)
(Electronic resources)
Formal methods in outer space = essays dedicated to Klaus Havelund on the occasion of his 65th birthday /
by:
Bartocci, Ezio.; Falcone, Ylies.; Havelund, Klaus, (1955-); SpringerLink (Online service); ISoLA (Symposium) (2021 :); Leucker, Martin.
(Electronic resources)
Runtime verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
by:
Bartocci, Ezio.; Majumdar, Rupak.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Computer Appl. in Life Sciences.
Ubiquitous computing.
Theory of Computation.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Computation by Abstract Devices.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer software- Verification.
Computer software- Testing
Computer Engineering and Networks.
The Computing Profession.
Artificial Intelligence.
Computer software- Verification
Computer Science.
Systems biology
Simulation and Modeling.
System Performance and Evaluation.
Computational biology
Computational Biology/Bioinformatics.
Symbolic and Algebraic Manipulation.
Artificial intelligence.
Internet of things.