Tapia Tarifa, Silvia Lizeth.
Overview
| Works: | 2 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Formal aspects of component software18th International Conference, FACS 2022, virtual event, November 10-11, 2022 : proceedings /
by:
(1998 :); Proenca, Jose.; SpringerLink (Online service); Tapia Tarifa, Silvia Lizeth.
(Electronic resources)
Integrated formal methods15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019 : proceedings /
by:
(1998 :); Ahrendt, Wolfgang.; SpringerLink (Online service); Tapia Tarifa, Silvia Lizeth.
(Electronic resources)
Theoretical aspects of computing - ICTAC 202320th International Colloquium, Lima, Peru, December 4-8, 2023 : proceedings /
by:
(1998 :); Abraham, Erika.; Dubslaff, Clemens.; SpringerLink (Online service); Tapia Tarifa, Silvia Lizeth.
(Electronic resources)
Subjects
Software Engineering.
Theory of Computation.
Software engineering
Data Structures and Information Theory.
Natural Language Processing (NLP)
Logic in AI.
Component software
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Languages.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Computer science
Simulation and Modeling.
Computer Systems Organization and Communication Networks.
Computer System Implementation.