Bouajjani, Ahmed.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
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 :)
(Language materials, printed)
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)
(Language materials, printed)
, [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.
(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)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.