Author:
Balser Michael,Reif Wolfgang,Schellhorn Gerhard,Stenzel Kurt
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. M. Abadi, M. Burrows, B. Lampson, and G. Plotkin. A Calculus for Access Control in Distributed Systems. In J. Feigenbaum, editor, CRYPTO’ 91. Springer LNAI 576, 1991.
2. W. Ahrendt, B. Beckert, R. Hähnle, W. Menzel, W. Reif, G. Schellhorn, and P. Schmitt. Integrating of Automated and Interactive Theorem Proving. In W. Bibel and P. Schmitt, editors, Automated Deduction — A Basis for Applications, volume I: Foundations, chapter 3: Interactive Theorem Proving. Kluwer Academic Publishers, 1998.
3. Studies in Computer Science and Artificial Intelligence;E. Börger,1995
4. Lect Notes Comput Sci;M. Fröhlich,1994
5. Lect Notes Comput Sci;T. Fuchß,1995
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formalizing UML State Machines for Automated Verification – A Survey;ACM Computing Surveys;2023-07-13
2. Formal Ontological Analysis for Medical Protocols;Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems;2020-07-28
3. Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures;Assurances for Self-Adaptive Systems;2013
4. Formalisation of Electrocardiogram (ECG);Using Event-B for Critical Device Software Systems;2013
5. Medical Protocol Diagnosis Using Formal Methods;Foundations of Health Informatics Engineering and Systems;2012