Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS von Yoeli, Michael, Kol, Rakefet

Volltext

Verification of systems and circuits using LOTOS, Petri Nets, and CCS von Yoeli, Michael, Kol, Rakefet

Volltext

An efficient implementation of Boolean functions as self-timed circuits von David, I., Ginosar, R., Yoeli, M.

Volltext

A Note on a Generalization of Boolean Matrix Theory von Yoeli, Michael

Volltext

Methodology and system for practical formal verification of reactive hardware von Beer, Ilan, Ben-David, Shoham, Geist, Daniel, Gewirtzman, Raanan, Yoeli, Michael

Volltext

Self-timed is self-checking von David, Ilana, Ginosar, Ran, Yoeli, Michael

Volltext

Implementing sequential machines as self-timed circuits von David, I., Ginosar, R., Yoeli, M.

Volltext

Introducing Petri Nets

Volltext

Introduction

Volltext

Introducing LOTOS

Volltext

Guide to Further Studies

Volltext

Verification of Modular Asynchronous Circuits

Volltext

Processes

Volltext

Introducing CCS

Volltext

From Digital Hardware to Processes

Volltext

More Verification Case Studies

Volltext

Verification of Communication Protocols

Volltext

Verification of Arbiters

Volltext

Binary Ring Sequences von Yoeli, Michael

Volltext

R70-26 Probabilistic Aspects of Machine Decomposition Theory von Yoeli, M.

Volltext