LEADER 03552nam  22007215  450 
001 9910349282603321
005 20230221155308.0
010   $a3-030-30446-9
024 7 $a10.1007/978-3-030-30446-1
035   $a(CKB)4100000009191140
035   $a(DE-He213)978-3-030-30446-1
035   $a(MiAaPQ)EBC5921020
035   $a(PPN)242823807
035   $a(EXLCZ)994100000009191140
100   $a20190830d2019      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aSoftware Engineering and Formal Methods$b[electronic resource] $e17th International Conference, SEFM 2019, Oslo, Norway, September 18?20, 2019, Proceedings /$fedited by Peter Csaba Ölveczky, Gwen Salaün
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (XVIII, 550 p. 910 illus., 89 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11724
300   $aIncludes index.
311   $a3-030-30445-0 
330   $aThis book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019. The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware and attack detection,and software development and evolution and address a wide range of systems, such as cyber-physical systems, UAVs, autonomous robots, and feature-oriented and operating systems. They are organized in the following topical sections: cooperative asynchronous systems; cyber-physical systems; feature-oriented and versioned systems; model-based testing; model inference; ontologies and machine learning; operating systems; program analysis; relating models and implementations; runtime verification; security; and verification.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11724
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aComputer science
606   $aElectronic digital computers?Evaluation
606   $aArtificial intelligence
606   $aComputer simulation
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aTheory of Computation
606   $aSystem Performance and Evaluation
606   $aArtificial Intelligence
606   $aComputer Modelling
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615  0$aComputer science.
615  0$aElectronic digital computers?Evaluation.
615  0$aArtificial intelligence.
615  0$aComputer simulation.
615 14$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aTheory of Computation.
615 24$aSystem Performance and Evaluation.
615 24$aArtificial Intelligence.
615 24$aComputer Modelling.
676   $a005.1
702   $aÖlveczky$b Peter Csaba$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSalaün$b Gwen$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349282603321
996   $aSoftware Engineering and Formal Methods$92915885
997   $aUNINA