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.).

Պահպանված է:
Մատենագիտական մանրամասներ
Համատեղ հեղինակներ: International Conference on Software Engineering and Formal Methods Online, ASYDE (Workshop), CIFMA (Workshop), CoSim-CPS (Workshop)
Այլ հեղինակներ: Cleophas, Loek (Խմբագիր), Massink, Mieke (Խմբագիր)
Ձևաչափ: էլ․ գիրք
Լեզու:English
Հրապարակվել է: Cham, Switzerland : Springer, [2021]
Շարք:Lecture notes in computer science ; 12524.
LNCS sublibrary. Programming and software engineering.
Խորագրեր:
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 congrès.
Առցանց հասանելիություն:Click for online access
Մուտք գործեք՝ պահման և հետ կանչի համար

Համացանց

Click for online access

Online

Պահումների մանրամասները Online
Հասանելի է

Նմանատիպ նյութեր