Search CORE

3 research outputs found

Foreword

Author: Reghbati H.K.
Publication venue: Published by Elsevier Ltd.
Publication date
Field of study

Elsevier - Publisher Connector

Liveness Analysis Of Message-Based Multiprocess Systems

Author: H.K. Reghbati
Publication venue: 'Informa UK Limited'
Publication date
Field of study

Functional test generation using binary decision diagrams

Author: Abadir
Abadir
Akers
Akers
Akers
Batni
Breuer
Breuer
H.K. Reghbati
Hayes
Huey
Levendel
M.S. Abadir
Muehldorf
Reghbati
Robach
Roth
Sridhar
Su
Thatte
Publication venue: 'Elsevier BV'
Publication date: 01/01/1987
Field of study

core

core