Searching for authors named "Thijs Krol" – sorted by Relevance.
-
SIL Transformations on Sequence Edges
- .Huijs, Th.Krol University ofTwente P.O.Box 217 7500AE Enschede the Netherlands version June 17 1993
- Add To MetaCart
-
Interactive Consistency Algorithms Based on Authentication and Error-correcting Codes
- the communication paths between the modules in the system, André Postma, Thijs Krol University of Twente, Department
- Cited by 4 (4 self) – Add To MetaCart
-
Interactive Consistency in Quasi-Asynchronous Systems
- Interactive Consistency in Quasi-Asynchronous Systems Andr�� Postma, Thijs Krol University
- Cited by 2 (2 self) – Add To MetaCart
-
Interactive Consistency Algorithms based on Voting and Error-correcting Codes
- Interactive Consistency Algorithms based on Voting and Error-correcting Codes Thijs Krol
- Add To MetaCart
-
Transformations And Semantical Checks For SIL-1
- TRANSFORMATIONS AND SEMANTICAL CHECKS FOR SIL-1 Corrie Huijs Jaap Hofstede Thijs Krol University
- Add To MetaCart
-
Optimized Authenticated Self-synchronizing Byzantine Agreement Protocols
- Optimized Authenticated Self-synchronizing Byzantine Agreement Protocols André Postma, Thijs Krol
- Cited by 2 (2 self) – Add To MetaCart
-
Distributed Cryptographic Function Application Protocols
- Distributed Cryptographic Function Application Protocols Andr�� Postma, Thijs Krol, Egbert
- Cited by 2 (2 self) – Add To MetaCart
-
Distributed Cryptographic Function Application Protocols
- Distributed Cryptographic Function Application Protocols André Postma, Thijs Krol, Egbert
- Add To MetaCart
-
Interactive Consistency in Quasi-Asynchronous Systems
- Interactive Consistency in Quasi-Asynchronous Systems André Postma, Thijs Krol University
- Add To MetaCart
-
Relational Semantics For Flow Graph Representations As Basis For Transformational Design Of Digital Systems
- OF DIGITAL SYSTEMS Corrie HUIJS and Thijs KROL University of Twente, P.O. Box 217, 7500 AE Enschede
- Add To MetaCart

