Languages
Bouajjani, Ahmed.
Overview
Works: | 0 works in 4 publications in 1 languages |
---|
Titles
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:
FORTE (Conference) (2017 :); Bouajjani, Ahmed.; Silva, Alexandra.; SpringerLink (Online service)
(Electronic resources)
Verification, model checking, and abstract interpretation = 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings /
by:
VMCAI (Conference) (2017 :); Bouajjani, Ahmed.; Monniaux, David.; SpringerLink (Online service)
(Electronic resources)
Automated technology for verification and analysis = 20th International Symposium, ATVA 2022, Beijing, China, October 25-28, 2022 : proceedings /
by:
Bouajjani, Ahmed.; SpringerLink (Online service); Wu, Zhilin.; ATVA (Symposium) (2022 :); Holík, Lukas.
(Electronic resources)
Automated technology for verification and analysis = 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, proceedings /
by:
Bouajjani, Ahmed.; Chin, Wei-Ngan.; SpringerLink (Online service)
(Language materials, printed)
Networked systems = third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015 : revised selected papers /
by:
Bouajjani, Ahmed.; Fauconnier, Hugues.; SpringerLink (Online service)
(Electronic resources)
Subjects
Artificial intelligence
Software Engineering.
Software engineering
Mathematical Logic and Formal Languages.
Computer network protocols
Theory of Computation.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Automatic theorem proving
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Information Systems Applications (incl. Internet)
Computation by Abstract Devices.
Programming Languages, Compilers, Interpreters.
Wireless communication systems
Formal methods (Computer science)
Computer Engineering and Networks.
Electronic data processing- Distributed processing
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
Computer networks
Cloud computing
Computer software- Verification
Computer Hardware.
Mobile computing