AAAAAA
Results:
1-7
|
Results: 7
Authors:
UCHIHIRA N
HONIDEN S
SEKI T
Citation: N. Uchihira et al., HYPERSEQUENTIAL PROGRAMMING - A NEW WAY TO DEVELOP CONCURRENT PROGRAMS, IEEE concurrency, 5(3), 1997, pp. 44
Authors:
HONIDEN S
OHSUGA A
UCHIHIRA N
Citation: S. Honiden et al., MENDELS ZONE - A PARALLEL PROGRAM-DEVELOPMENT SYSTEM BASED ON FORMAL SPECIFICATIONS, Information and software technology, 38(3), 1996, pp. 181-189
Authors:
UCHIHIRA N
HONIDEN S
Citation: N. Uchihira et S. Honiden, A HIGH-LEVEL PETRI-NET FOR ACCURATE MODELING OF REACTIVE AND CONCURRENT SYSTEMS, IEICE transactions on fundamentals of electronics, communications and computer science, E79A(11), 1996, pp. 1797-1808
Authors:
UCHIHIRA N
HONIDEN S
Citation: N. Uchihira et S. Honiden, COMPOSITIONAL ADJUSTMENT OF CONCURRENT PROGRAMS TO SATISFY TEMPORAL LOGIC CONSTRAINTS IN MENDELS ZONE, The Journal of systems and software, 33(3), 1996, pp. 207-221
Authors:
UCHIHIRA N
KAWATA H
Citation: N. Uchihira et H. Kawata, PRACTICAL PROGRAM VALIDATION FOR STATE-BASED REACTIVE CONCURRENT SYSTEMS - HARMONIZATION OF SIMULATION AND VERIFICATION, IEICE transactions on fundamentals of electronics, communications and computer science, E78A(11), 1995, pp. 1487-1497
Authors:
HONIDEN S
NISHIMURA K
UCHIHIRA N
ITOH K
Citation: S. Honiden et al., AN APPLICATION OF ARTIFICIAL-INTELLIGENCE TO OBJECT-ORIENTED PERFORMANCE DESIGN FOR REAL-TIME SYSTEMS, IEEE transactions on software engineering, 20(11), 1994, pp. 849-867
Authors:
UCHIHIRA N
Citation: N. Uchihira, COMPOSITIONAL SYNTHESIS FOR COOPERATING DISCRETE EVENT SYSTEMS FROM MODULAR TEMPORAL LOGIC SPECIFICATIONS, IEICE transactions on fundamentals of electronics, communications and computer science, E75A(3), 1992, pp. 380-391
Risultati:
1-7
|