Computer Aided Verification (vol. # 4144)
Presents 35 revised full papers together with 10 tool papers and 4 invited papers adressing all current issues in computer ...
Lee mas
Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...
Lee mas
Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
Lee mas
Computer Science Logic (vol. # 4207)
Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...
Lee mas
Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
Lee mas
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956)
This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of ...
Lee mas
Correct Hardware Design and Verification Methods
Constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design ...
Lee mas
Creating New Learning Experiences on a Global Scale
It is holding more than 500 pages of combined wisdom on Technology Enhanced Learning (TEL) in your hands! With the advance ...
Lee mas
Creating New Learning Experiences on a Global Scale
It is holding more than 500 pages of combined wisdom on Technology Enhanced Learning (TEL) in your hands! With the advance ...
Lee mas
Declarative Agent Languages and Technologies II
The second edition of the workshop on Declarative Agent Languages and Te- nologies (DALT 2004) was held July 2004 in New ...
Lee mas
Dependable Software Engineering. Theories, Tools, and Applications
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, ...
Lee mas
Domain Modeling and the Duration Calculus
The book presented provide competent coverage of software security, domain modeling of software engineering, and duration ...
Lee mas
Domain Modeling and the Duration Calculus
The book presented provide competent coverage of software security, domain modeling of software engineering, and duration ...
Lee mas
Engineering Theories of Software Intensive Systems
Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded ...
Lee mas
FM 2005: Formal Methods
This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...
Lee mas
FM 2006: Formal Methods
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, ...
Lee mas
Formal Approaches to Agent-Based Systems
The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA ...
Lee mas
Formal Approaches to Software Testing (vol. # 3395)
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...
Lee mas
Formal Approaches to Software Testing (vol. # 3997)
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...
Lee mas
Formal Approaches to Software Testing and Runtime Verification
Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV ...
Lee mas
