Languages
Ait-Ameur, Yamine.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Formal methods and software engineering = 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019 : proceedings /
by:
International Conference on Formal Engineering Methods (2019 :); Ait-Ameur, Yamine.; Qin, Shengchao.; SpringerLink (Online service)
(Electronic resources)
Implicit and explicit semantics integration in proof-based developments of discrete systems = communications of NII Shonan Meetings /
by:
Ait-Ameur, Yamine.; Nakajima, Shin.; Mery, Dominique.; SpringerLink (Online service)
(Electronic resources)
Theoretical aspects of software engineering = 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022 : proceedings /
by:
International Symposium on Theoretical Aspects of Software Engineering (2022 :); Ait-Ameur, Yamine.; Craciun, Florin.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Theory of Computation.
Software Engineering.
Mathematical Logic and Foundations.
Natural Language Processing (NLP)
Computer and Information Systems Applications.
Logic in AI.
Database Management.
Formal methods (Computer science)
Artificial Intelligence.
Computer Systems Organization and Communication Networks.
Simulation and Modeling.
Computer software- Development
Knowledge Based Systems.