>
Fa
|
Ar
|
En
journal of universal computer science
سال:2008 - دوره:14 - شماره:12
A Metamodel-based Language and a Simulation Engine for Abstract State Machines
- صفحه:1949-1983
ASM Refinement Preserving Invariants
- صفحه:1929-1948
ASMs in Service Oriented Architectures
- صفحه:2034-2058
Modularizing Theorems for Software Product Lines: The Jbook Case Study
- صفحه:2059-2082
Quo Vadis Abstract State Machines?
- صفحه:1921-1928
Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking
- صفحه:1984-2006
The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering
- صفحه:2007-2033
What is Correctness of Security Protocols?
- صفحه:2083-2106
Copyright 2023
Islamic World Science Citation Center
All Rights Reserved
