Search results: Sage Journals

Restricted accessResearch articleFirst published October, 2007

On Process-algebraic Verification of Asynchronous Circuits

Xu Wang, Marta Kwiatkowska

Fundamenta Informaticae

Restricted accessResearch articleFirst published April, 2002

Josep Carmona, Jordi Cortadella, Enric Pastor

Fundamenta Informaticae

Restricted accessResearch articleFirst published November, 2008

Victor Khomenko, Mark Schaefer, Walter Vogler

Fundamenta Informaticae

Restricted accessResearch articleFirst published November, 2003

Jia Lee, Susumu Adachi, Ferdinand Peper [...]

Fundamenta Informaticae

Restricted accessResearch articleFirst published April, 2006

Victor Khomenko, Maciej Koutny, Alex Yakovlev

Fundamenta Informaticae

Restricted accessOtherFirst published October, 1995

Sarma R. Vishnubhotla

SIMULATION

Restricted accessResearch articleFirst published November, 2008

Frédéric Béal, Tomohiro Yoneda, Chris J. Myers

Fundamenta Informaticae

Restricted accessResearch articleFirst published May, 2004

Roman R. Redziejowski

Fundamenta Informaticae

Restricted accessResearch articleFirst published April, 2002

O. Garnic, J. Lanchares, R. Hermida

Fundamenta Informaticae

Open accessResearch articleFirst published September, 2019

Sinan Kıvrak, Tolga Özer, Yüksel Oğuz

Measurement and Control