000946147 000__ 02820cam\a2200529M\\4500
000946147 001__ 946147
000946147 005__ 20230306152533.0
000946147 006__ m\\\\\o\\d\\\\\\\\
000946147 007__ cr\un\nnnunnun
000946147 008__ 201112s2020\\\\sz\a\\\\o\\\\\101\0\eng\d
000946147 019__ $$a1205606868$$a1206401556$$a1225198854$$a1225933764
000946147 020__ $$a9783030628222$$q(electronic book)
000946147 020__ $$a3030628221$$q(electronic book)
000946147 020__ $$z3030628213
000946147 020__ $$z9783030628215
000946147 0247_ $$a10.1007/978-3-030-62822-2$$2doi
000946147 035__ $$aSP(OCoLC)on1225562816
000946147 035__ $$aSP(OCoLC)1225562816
000946147 040__ $$aSFB$$beng$$erda$$cSFB$$dOCLCO$$dLEATE$$dYDXIT$$dOCLCF$$dGW5XE$$dYDX$$dUPM$$dEBLCP$$dOCLCO
000946147 049__ $$aISEA
000946147 050_4 $$aQA76.758
000946147 08204 $$a005.1$$223
000946147 1112_ $$aSETTA (Symposium)$$n(6th :$$d2020 :$$cGuangzhou, China)
000946147 24510 $$aDependable software engineering :$$btheories, tools, and applications : 6th international symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings /$$cJun Pang, Lijun Zhang (eds.).
000946147 2463_ $$aSETTA 2020
000946147 264_1 $$aCham, Switzerland :$$bSpringer,$$c[2020]
000946147 300__ $$a1 online resource (iii, 203 pages) :$$billustrations
000946147 336__ $$atext$$btxt$$2rdacontent
000946147 337__ $$acomputer$$bc$$2rdamedia
000946147 338__ $$aonline resource$$bcr$$2rdacarrier
000946147 4901_ $$aLecture notes in computer science ;$$v12153
000946147 4901_ $$aLNCS sublibrary: SL2 -- Programming and software engineering
000946147 500__ $$aIncludes author index.
000946147 5050_ $$aThe Road Ahead for Supervisor Synthesis -- Reentrancy? Yes. Reentrancy bug? No -- Graph Transformation Systems: a Semantics Based on (Stochastic) Symmetric Nets -- Modelling and Implementation of Unmanned Aircraft Collision Avoidance -- Randomized Re nement Checking of Timed I/O Automata -- Computing Linear Arithmetic Representation for Reachability Relation of One-counter Automata -- Compiling FL^{res} on Finite Words -- Symbolic Model Checking with Sentential Decision Diagrams -- Probably Approximately Correct Interpolants Generation -- Symbolic Verification of MPI Programs with Non-deterministic Synchronizations -- Learning Safe Neural Network Controllers with Barrier Certificates -- Software Defect-proneness Prediction Based on Package Cohesion and Coupling Metrics.
000946147 506__ $$aAccess limited to authorized users.
000946147 5880_ $$aOnline resource; title from PDF title page (SpringerLink, viewed January 27, 2021).
000946147 650_0 $$aSoftware engineering$$vCongresses.
000946147 650_0 $$aFormal methods (Computer science)$$vCongresses.
000946147 7001_ $$aPang, Jun$$c(Computer scientist),$$eeditor.$$1https://orcid.org/0000-0002-4521-4112
000946147 7001_ $$aZhang, Lijun,$$d1979-$$eeditor.$$1https://orcid.org/0000-0002-3692-2088
000946147 77608 $$iPrint version:$$z3030628213$$z9783030628215$$w(OCoLC)1198714925
000946147 830_0 $$aLecture notes in computer science ;$$v12153.
000946147 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000946147 852__ $$bebk
000946147 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-62822-2$$zOnline Access$$91397441.1
000946147 909CO $$ooai:library.usi.edu:946147$$pGLOBAL_SET
000946147 980__ $$aEBOOK
000946147 980__ $$aBIB
000946147 982__ $$aEbook
000946147 983__ $$aOnline
000946147 994__ $$a92$$bISE