Search results

Articles (4)

Journals (0)

1-4 of 4 results for assume/guarantee verification

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2007-10

On Process-algebraic Verification of Asynchronous Circuits

Xu Wang, Marta Kwiatkowska

Fundamenta Informaticae

Retricted access

Research article

First published 2016

Toni Mancini, Federico Mari, Annalisa Massini [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2019

Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo [...]

Fundamenta Informaticae

Free access

Research article

First published 2017-2

Samir Ouaret, Jean-Pierre Kenné, Ali Gharbi [...]

Proceedings of the Institution of Mechanical Engineers,Part B: Journal of Engineering Manufacture