Languages
Bartocci, Ezio.
Overview
| Works: | 1 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Formal methods in outer spaceessays dedicated to Klaus Havelund on the occasion of his 65th birthday /
by:
(1998 :); Bartocci, Ezio.; Falcone, Ylies.; Havelund, Klaus, (1955-); Leucker, Martin.; SpringerLink (Online service)
(Electronic resources)
Lectures on runtime verificationintroductory and advanced topics /
by:
Bartocci, Ezio.; Falcone, Ylies.; SpringerLink (Online service)
(Electronic resources)
Computational methods in systems biology14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016 : proceedings /
by:
(1998 :); Bartocci, Ezio.; Lio, Pietro.; Paoletti, Nicola.; SpringerLink (Online service)
(Electronic resources)
Runtime verification6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
by:
(1998 :); Bartocci, Ezio.; Majumdar, Rupak.; SpringerLink (Online service)
(Electronic resources)
From reactive systems to cyber-physical systemsessays dedicated to Scott A. Smolka on the occasion of his 65th birthday /
by:
Bartocci, Ezio.; 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.
Computer software
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Computation by Abstract Devices.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Engineering and Networks.
The Computing Profession.
Artificial Intelligence.
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.