Ait-Ameur, Yamine.
Overview
Works: | 1 works in 3 publications in 1 languages |
---|
Titles
Formal methods and software engineering21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019 : proceedings /
by:
(1998 :); Ait-Ameur, Yamine.; Qin, Shengchao.; SpringerLink (Online service)
(Electronic resources)
Implicit and explicit semantics integration in proof-based developments of discrete systemscommunications of NII Shonan Meetings /
by:
Ait-Ameur, Yamine.; Mery, Dominique.; Nakajima, Shin.; SpringerLink (Online service)
(Electronic resources)
Theoretical aspects of software engineering16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022 : proceedings /
by:
(1998 :); 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.
Computer software
Database Management.
Formal methods (Computer science)
Artificial Intelligence.
Computer Systems Organization and Communication Networks.
Simulation and Modeling.
Knowledge Based Systems.