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