Languages
Vicario, Enrico.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Formal Modeling and Analysis of Timed Systems = 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings /
by:
Sankaranarayanan, Sriram.; Vicario, Enrico.; SpringerLink (Online service)
(Electronic resources)
New frontiers in quantitative methods in informatics = 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017 : revised selected papers /
by:
Balsamo, Simonetta.; Vicario, Enrico.; SpringerLink (Online service); InfQ (Workshop) (2017 :); Marin, Andrea.
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Optical pattern recognition.
Formal methods (Computer science)
Computer science- Mathematics
Computer simulation
Computer networks- Mathematical models
Computer Science.
Probability and Statistics in Computer Science.
Computer Communication Networks.
System Performance and Evaluation.
Image processing- Digital techniques.
Temporal automata
System analysis
Computer Applications.