PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Joyce, Jeffrey J."

Author of the publication

copydeleteadd this publication to your clipboard
The HOL-Voss System: Model-Checking inside a General-Purpose Theorem-Prover.

, and . HUG, volume 780 of Lecture Notes in Computer Science, page 185-198. Springer, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

J. K\"astner

J. Schwarz

J. K\"astner

J Walter

J. Vogel

 

Other publications of authors with the same name

Formal specification and verification of microprocessor systems.. Integration, 7 (3): 247-266 (1989)Morse: Reducing the Feature Interaction Explosion Problem using Subject Matter Knowledge as Abstract Requirements., , and . RE, page 251-261. IEEE Computer Society, (2018)Modelling feature interactions in the automotive domain., , and . MiSE, page 45-50. ACM, (2008)Linking BDD-Based Symbolic Evaluation to Interactive Theorem-Proving., and . DAC, page 469-474. ACM Press, (1993)A Framework for Multi-Notation Requirements Specification and Analysis., and . ICRE, page 39-48. IEEE Computer Society, (2000)Verification of the Tamarack-3 Microprocessor in a Hybrid Verification Environment., , and . HUG, volume 780 of Lecture Notes in Computer Science, page 253-266. Springer, (1993)Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic.. Specification and Verification of Concurrent Systems, page 384-409. Springer, (1988)Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network., , and . FORTE, volume 107 of IFIP Conference Proceedings, page 417-432. Chapman & Hall, (1997)From Abstract Data Types to Shift Registers: A Case Study in Formal Specification and Verification at Differing Levels of Abstraction using Theorem Proving and Symbolic Simulation., , and . HUG, volume 780 of Lecture Notes in Computer Science, page 489-500. Springer, (1993)The Semantics of Statecharts in HOL., and . HUG, volume 780 of Lecture Notes in Computer Science, page 338-351. Springer, (1993)