Software engineering and formal methods : SEFM 2020 collocated workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, the Netherlands, September 14-15, 2020, revised selected papers

Software engineering and formal methods : SEFM 2020 collocated workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, the Netherlands, September 14-15, 2020, revised selected papers / Loek Cleophas, Mieke Massink (eds.).

Đã lưu trong:

Chi tiết về thư mục
Nhiều tác giả của công ty:	International Conference on Software Engineering and Formal Methods Online, ASYDE (Workshop), CIFMA (Workshop), CoSim-CPS (Workshop)
Tác giả khác:	Cleophas, Loek (Biên tập viên), Massink, Mieke (Biên tập viên)
Định dạng:	eBook
Ngôn ngữ:	English
Được phát hành:	Cham, Switzerland : Springer, [2021]
Loạt:	Lecture notes in computer science ; 12524. LNCS sublibrary. Programming and software engineering.
Những chủ đề:	Software engineering > Congresses. Formal methods (Computer science) > Congresses. Computer logic. Automatic control. Robotics. Mechatronics. Software engineering. Artificial intelligence. Application software. artificial intelligence. Formal methods (Computer science) Application software Artificial intelligence Automatic control Computer logic Mechatronics Robotics Software engineering proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Truy cập trực tuyến:	Click for online access

Đăng nhập để giữ và thu hồi thông tin

Internet

Click for online access

Online

Chi tiết quỹ từ Online
	Sẵn có