Cleophas, Loek.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops = ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers /
by:
SpringerLink (Online service); Cleophas, Loek.; Massink, Mieke.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops = ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers /
by:
Massink, Mieke.; SpringerLink (Online service); Cleophas, Loek.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Software Engineering/Programming and Operating Systems.
Computer logic.
Artificial intelligence.
Control, Robotics, Mechatronics.
Computer Applications.
Control engineering.
Software engineering.
Computer science.
Automation.
Control, Robotics, Automation.
Robotics.
Mechatronics.
Logics and Meanings of Programs.
Control and Systems Theory.
Computer Science Logic and Foundations of Programming.
Computer and Information Systems Applications.
Application software.
Artificial Intelligence.