Ait-Ameur, Yamine.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal Methods and Software Engineering = 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings /
by:
Ait-Ameur, Yamine.; Qin, Shengchao.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems = Communications of NII Shonan Meetings /
by:
Méry, Dominique.; SpringerLink (Online service); Ait-Ameur, Yamine.; Nakajima, Shin.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Mathematical logic.
Computer organization.
Artificial Intelligence.
Artificial intelligence.
Software engineering.
Simulation and Modeling.
Theory of Computation.
Computers.
Computer Systems Organization and Communication Networks.
Mathematical Logic and Foundations.
Computer simulation.