Jongmans, Sung-Shik.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Formal aspects of component software = 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019 : proceedings /
by:
FACS (Symposium) (2019 :); Arbab, Farhad.; Jongmans, Sung-Shik.; SpringerLink (Online service)
(Electronic resources)
Coordination models and languages = 25th IFIP WG 6.1 International Conference, Coordination 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings /
by:
COORDINATION (Conference) (2023 :); Jongmans, Sung-Shik.; Lopes, Antonia.; SpringerLink (Online service)
(Electronic resources)
Formal aspects of component software = 19th International Conference, FACS 2023, virtual event, October 19-20, 2023 : revised selected papers /
by:
FACS (Symposium) (2023 :); Cmara, Javier.; Jongmans, Sung-Shik.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Theory of Computation.
Mathematical Logic and Foundations.
Natural Language Processing (NLP)
Data Structures and Information Theory.
Component software
Information Systems and Communication Service.
Formal methods (Computer science)
Computer programming
Languages.
Electronic data processing- Distributed processing
Formal Languages and Automata Theory.
Computer System Implementation.