Software engineering and formal methods -- SEFM 2022 collocated workshops : AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, revised selected papers / Paolo Masci, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri, editors.

में बचाया:

ग्रंथसूची विवरण
निगमित लेखकों:	Workshop on Artifical Intelligence for Engineering Applications, Workshop on Formal Integrated Development Environment, CoSim-CPS (Workshop), CIFMA (Workshop), International Conference on Software Engineering and Formal Methods
अन्य लेखक:	Masci, Paolo (संपादक), Bernardeschi, Cinzia (संपादक), Graziani, Pierluigi (संपादक), Koddenbrock, Mario (संपादक), Palmieri, Maurizio (संपादक)
स्वरूप:	ई-पुस्तक
भाषा:	English
प्रकाशित:	Cham : Springer, 2023.
श्रृंखला:	Lecture notes in computer science ; 13765.
विषय:	Software engineering > Congresses. Artificial intelligence > Congresses. Artificial intelligence Software engineering proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
ऑनलाइन पहुंच:	Click for online access

विषय - सूची:

समान संसाधन