Bouajjani, Ahmed.
概要
作品: | 6 作品在 4 項出版品 1 種語言 |
---|
書目資訊
Computer aided verification21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings /
by:
(1998 :); Bouajjani, Ahmed.; Maler, Oded.; SpringerLink (Online service)
(書目-電子資源)
Automated technology for verification and analysis20th International Symposium, ATVA 2022, Beijing, China, October 25-28, 2022 : proceedings /
by:
(1998 :); Bouajjani, Ahmed.; Holík, Lukas.; SpringerLink (Online service); Wu, Zhilin.
(書目-電子資源)
Networked systemsthird International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015 : revised selected papers /
by:
(1998 :); Bouajjani, Ahmed.; Fauconnier, Hugues.; SpringerLink (Online service)
(書目-電子資源)
Automated technology for verification and analysis8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, proceedings /
by:
(1998 :); Bouajjani, Ahmed.; Chin, Wei-Ngan.; SpringerLink (Online service)
(書目-電子資源)
Verification, model checking, and abstract interpretation18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings /
by:
(1998 :); Bouajjani, Ahmed.; Monniaux, David.; SpringerLink (Online service)
(書目-電子資源)
Formal techniques for distributed objects, components, and systems37th 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:
(1998 :); Bouajjani, Ahmed.; Silva, Alexandra.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Artificial intelligence
Software engineering
Computer network protocols
Theory of Computation.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Electronic data processing
Computer software
Artificial Intelligence (incl. Robotics)
Automatic theorem proving
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Information Systems Applications (incl. Internet)
Computation by Abstract Devices.
Logic Design.
Programming Languages, Compilers, Interpreters.
Wireless communication systems
Formal methods (Computer science)
Computer Engineering and Networks.
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
Computer networks
Cloud computing
Computer Hardware.
Mobile computing