|
22
|
Deriving protocol specifications from service specifications written
– C Kant, T Higashino, G v Bochmann
- 1996
|
|
17
|
Synthesis of communications protocols: an annotated bibliography
– K Saleh
- 1996
|
|
10
|
On Specifying Services and Synthesizing Protocols for Real-time Applications
– A Khoumsi, G v Bochmann, R Dssouli
- 1994
|
|
16
|
Protocol synthesis in a state transition model
– P M Chu, M T Liu
- 1988
|
|
1196
|
Petri Nets: Properties, Analysis and Applications
– T Murata
- 1989
|
|
7
|
Protocol Synthesis from Timed and Structured Specifications
– Akio Nakata, Teruo Higashino, Kenichi Taniguchi
- 1995
|
|
22
|
Synthesis of communications protocols: survey and assessment
– R L Probert, J Saleh
- 1991
|
|
3
|
Deriving Protocol Specifications from Service Specifications with Heterogeneous Timing Requirements
– M Kapus-Koler
- 1991
|
|
8
|
A Stepwise Requirement Based Approach for Synthesizing
– H Kahlouche, J J Girardot
- 1996
|
|
6
|
K.: Protocol Synthesis Using the Petri Net Model
– A Al-Dallal, Saleh
- 1997
|
|
8
|
A synthesis technique of general Petri nets
– D Y Chao, D T Wang
- 1994
|
|
7
|
Software Process Description using LOTOS and Its Enaction
– K Yasumoto, T Higashino, K Taniguchi
- 1994
|
|
12
|
Decomposition of Functionality; a Correctness-Preserving LOTOS Transformation
– R Langerak
- 1990
|
|
2
|
A Method and a Genetic Algorithm for Deriving
– K El-Fakih, H Yamaguchi, G v Bochmann
- 1999
|
|
21
|
A Distributed Genetic Algorithm for Employee Sta ng and Scheduling Problems
– Fred F Easton, Nashat Mansour
- 1993
|
|
126
|
Some guidelines for genetic algorithms with penalty functions
– Jon T Richardson, Mark R Palmer, Gunar Liepins, Mike Hilliard
- 1989
|
|
172
|
Adaptive selection methods for genetic algorithms
– J Baker
- 1985
|
|
330
|
Optimization of Control Parameters for Genetic Algorithms
– J Grefenstette
- 1986
|
|
6071
|
Genetic Algorithms
– D E Goldberg
- 2011
|
