Corpus ID: 8866451
The Heterogeneous Tool Set (Hets)
Published in VERIFY 2007
Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms (see Fig. 1). Moreover, a formal…
Expand View All 2 Figures & Tables 158 Citations Filters Sort by Relevance Sort by Most Influenced Papers Sort by Citation Count Sort by Recency Software, Services, and Systems Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014) Mathematics, Computer Science Electron. Notes Theor. Comput. Sci. References
SHOWING 1-10 OF 70 REFERENCES
Mechanizing Mathematical Reasoning Mathematics, Computer Science Formal Aspects of Computing International Journal on Software Tools for Technology Transfer SORT BY Relevance Most Influenced Papers Recency
PROGRAMME EDUCATIONAL OBJECTIVES (PEOs): Master programme in Applied Geology aims to provide comprehensive knowledge b...
Deep Residual Learning for Image Recognition
Computer Science IEEE Conference on Computer Vision and Pattern… 2016
Deeper neural networks are more difficult to train. We present a residual learning framework to ease the training of net...
Figures and Topics
Stay Connected With Semantic Scholar
What Is Semantic Scholar?
Semantic Scholar is a free, AI-powered research tool for scientific literature, based at the Allen Institute for AI.