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.; Marin, Andrea.; Vicario, Enrico.; InfQ (Workshop) (2017 :); SpringerLink (Online service)
(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.