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.
Special Purpose and Application-Based Systems.
Computer Applications.
Formal Languages and Automata Theory.
Software engineering.
Theory of Computation.
Computers.
Natural Language Processing (NLP)
Architecture, Computer.
Software engineering
Component software
Special purpose computers.
Application software.
Artificial Intelligence.