Marmsoler, Diego.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II /
by:
Delmas, David.; Guidotti, Riccardo.; Marmsoler, Diego.; Oliveira, José N.; Farrell, Marie.; Campos, José.; Cerone, Antonio.; Couto, Luis.; Monteiro, Pedro.; Ratiu, Daniel.; Moreira, Nelma.; Kutrib, Martin.; Gonnord, Laure.; Astarte, Troy.; Dongol, Brijesh.; Luckcuck, Matt.; SpringerLink (Online service); Sekerinski, Emil.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal aspects of component software = 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024 : proceedings /
by:
SpringerLink (Online service); Sun, Meng.; Marmsoler, Diego.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I /
by:
Marmsoler, Diego.; Oliveira, José N.; Guidotti, Riccardo.; Delmas, David.; Couto, Luis.; Campos, José.; Cerone, Antonio.; Farrell, Marie.; Astarte, Troy.; Dongol, Brijesh.; Gonnord, Laure.; Moreira, Nelma.; Kutrib, Martin.; Monteiro, Pedro.; Ratiu, Daniel.; Sekerinski, Emil.; SpringerLink (Online service); Luckcuck, Matt.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Formal methods (Computer science)
Computer System Implementation.
Software Engineering/Programming and Operating Systems.
Data Structures and Information Theory.
Artificial intelligence.
Formal Languages and Automata Theory.
Software engineering.
Theory of Computation.
Architecture, Computer.
Component software
Special purpose computers.
Application software.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Computer Applications.
Computers.
Natural Language Processing (NLP)
Software engineering