चैनल :: Library Catalog

विषय: software engineering

त्वरित देखें
Computer Aided Verification
त्वरित देखें
Computer Aided Verification
त्वरित देखें
Formal Methods
त्वरित देखें
Formal Methods
त्वरित देखें
Frontiers of Combining Systems
त्वरित देखें
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
त्वरित देखें
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
त्वरित देखें
Programming Languages and Systems
त्वरित देखें
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
त्वरित देखें
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
त्वरित देखें
Fundamental Approaches to Software Engineering
त्वरित देखें
Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
त्वरित देखें
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
त्वरित देखें
Tools and Algorithms for the Construction and Analysis of Systems
त्वरित देखें
Computer Aided Verification
त्वरित देखें
Computer Aided Verification
त्वरित देखें
Programming Languages and Systems
त्वरित देखें
Computer Aided Verification
त्वरित देखें
Automated Reasoning
त्वरित देखें
Computer Aided Verification

विषय: model checking

लेखक: Alessandra Russo

त्वरित देखें
Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

लेखक: Amal Ahmed

त्वरित देखें
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

समान संसाधन: Computer Aided Verification

समान संसाधन: Computer Aided Verification