>
Fa
|
Ar
|
En
journal of universal computer science
سال:2007 - دوره:13 - شماره:13
Applications of Formal Methods to System Design and Verification
- صفحه:1970-1971
From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices
- صفحه:2035-2075
Hardware/Software Co-design and Verification Methodology from System Level Based on System Dependence Graph
- صفحه:1972-2001
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)
- صفحه:2076-2104
Self-Evolving Petri Nets
- صفحه:2002-2034
Copyright 2023
Islamic World Science Citation Center
All Rights Reserved
