Languages
Dongol, Brijesh.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Integrated formal methods16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020 : proceedings /
by:
(1998 :); Dongol, Brijesh.; SpringerLink (Online service); Troubitsyna, Elena.
(Electronic resources)
Formal methods teachingthird International Workshop and Tutorial, FMTea 2019, held as part of the third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019 : proceedings /
by:
(1998 :); Dongol, Brijesh.; Petre, Luigia.; Smith, Graeme.; SpringerLink (Online service)
(Electronic resources)
Software engineering for robotics
by:
Cavalcanti, Ana.; Dongol, Brijesh.; Hierons, Rob.; SpringerLink (Online service); Timmis, Jon.; Woodcock, Jim.
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Natural Language Processing (NLP)
Logic in AI.
Algorithm Analysis and Problem Complexity.
Control Structures and Microprogramming.
Robotics.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Software engineering.
Computer System Implementation.
Robotics and Automation.