Languages
Agha, Gul.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Formal modeling = actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /
by:
Danvy, Olivier.; Agha, Gul.; SpringerLink (Online service); Meseguer, Jose.
(Language materials, printed)
Quantitative evaluation of systems = 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016 : proceedings /
by:
Agha, Gul.; SpringerLink (Online service); Van Houdt, Benny.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Quantitative Evaluation of Systems = 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings /
by:
SpringerLink (Online service); Agha, Gul.; Van Houdt, Benny.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Formal methods (Computer science)
Petri nets
Computer logic.
Computer Communication Networks.
System Performance and Evaluation.
Computer networks
Programming Techniques.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer simulation.
Probability and Statistics in Computer Science.
Mathematical statistics.
Simulation and Modeling.
Computer systems
Reliability (Engineering)
Computer system failures.
Computers.
Machine theory
Programming Languages, Compilers, Interpreters.
Computer software
Computation by Abstract Devices.