What the Editors-in-Chief say about the review process in our Journals: Our Editors-in-Chief declare, confirm, certify and sign the substantial, important, line by line peer review process and our high-rejection rates.
Published Articles with Keyword: formal verification
- Title: Formal Verification of Dynamical Control Systems (Addressing Integral Windup Phenomena Using Model-Checking)
Authors: Mohammed Tloul, Michael H. Schwarz, Josef Börcsök
Doi: 10.37394/23203.2023.18.41
Download | Download
Published in WSEAS Transactions on Systems and Control, Volume 18, 2023 - Title: Models of M2M Device Management
Authors: Ivaylo Atanasov, Evelina Pencheva
Download | Download
Published in WSEAS Transactions on Computers, Volume 14, 2017 - Title: Methods and Algorithms for a High-Level Synthesis of the Very-Large-Scale Integration
Authors: Oleg Nepomnyashchy, Alexandr Legalov, Valery Tyapkin, Igor Ryzhenko, Vladimir Shaydurov
Download | Download
Published in WSEAS Transactions on Computers, Volume 15, 2016 - Title: Formal Verification of Embedded Systems for Remote Attestation
Authors: G. Cabodi, P. Camurati, C. Loiacono, G. Pipitone, F. Savarese, D. Vendraminetto
Download | Download
Published in WSEAS Transactions on Computers, Volume 14, 2015