Bouajjani, Ahmed.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Networked systems = third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Bouajjani, Ahmed.; SpringerLink (Online service); Fauconnier, Hugues.
(書目-語言資料,印刷品)
Verification, model checking, and abstract interpretation = 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings /
by:
Monniaux, David.; SpringerLink (Online service); Bouajjani, Ahmed.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Automated Technology for Verification and Analysis = 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings /
by:
Holík, Lukáš.; Wu, Zhilin.; Bouajjani, Ahmed.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal techniques for distributed objects, components, and systems = 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 19-22, 2017 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Silva, Alexandra.; Bouajjani, Ahmed.
(書目-語言資料,印刷品)
Networked Systems = Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers /
by:
Bouajjani, Ahmed.; Fauconnier, Hugues.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Formal methods (Computer science)
Computer engineering.
Algorithm Analysis and Problem Complexity.
Computer networks .
Computer network protocols
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Computer networks
Information Systems Applications (incl. Internet).
Computer Science.
Information Systems Applications (incl. Internet)
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Computer Engineering and Networks.
Computer communication systems.
Application software.
Artificial Intelligence.
Cloud computing
Electronic data processing
Computer science.
Mobile computing
Computers.
Software engineering
Computer Hardware.
Programming Languages, Compilers, Interpreters.
Wireless communication systems
Computer software
Computation by Abstract Devices.
Software Engineering.