A CSP-based Visual Programming Environment

A CSP-based Visual Programming Environment

碩士 === 逢甲大學 === 資訊工程研究所 === 84 ===

Bibliographic Details
Main Authors:	Chao, Chi-Shih, 趙啟時
Other Authors:	Liu An-Chi
Format:	Others
Language:	zh-TW
Published:	1996
Online Access:	http://ndltd.ncl.edu.tw/handle/74593887411902249070

Similar Items

CSP-i : an implementation of CSP
by: Wrench, Karen Lee
Published: (1987)

csp2B: A Practical Approach to Combining CSP and B
by: Butler, M. J.
Published: (2000)

Encoding CSP into CCS
by: Meike Hatzel, et al.
Published: (2015-08-01)

Mobile CSP||B
by: Vajar, Beeta
Published: (2009)

CSP++ : an object-oriented application framework for software synthesis from CSP specifications
by: Gardner, William Bennett
Published: (2018)

Automated Diagnosis Systems for Network Fault Identification
by: Chi-Shih Chao, et al.
Published: (2001)

Water and CSP—Linking CSP Water Demand Models and National Hydrology Data to Sustainably Manage CSP Development and Water Resources in Arid Regions
by: D. Frank Duvenhage, et al.
Published: (2020-04-01)

Wind-Thermal-CSP Bundling Model With an Adjustable Heat Storage Strategy for CSP Stations
by: Xuan Li, et al.
Published: (2021-01-01)

Introducing Time Driven Programming using CSP/occam and WCET Estimates
by: Korsgaard, Martin
Published: (2007)

Thermal Analysis for CSP Package
by: Yu-Chih Huang, et al.
Published: (2000)

Models for CSP with availability information
by: Gavin Lowe
Published: (2010-11-01)

Optimal Design of Stacked CSP
by: C.C.Shine, et al.
Published: (2001)

Probabilities and priorities in timed CSP
by: Lowe, Gavin
Published: (1993)

Global review of CSP technologies
by: Sikhosana, Qedile
Published: (2015)

A Study on Cultural Value and CSP
by: Yon-Tat James Tan, et al.
Published: (2017)

A Strategic Analysis for the CSP Industry
by: 李欣怡
Published: (2010)

A autoria científica em CSP
by: Marcia Cristina Leal Cypriano Pietrukowicz, et al.
Published: (2018-11-01)

A refusal testing model for CSP
by: Mukarram, Abida
Published: (1993)

A CSP approach to action systems
by: Butler, Michael John
Published: (1992)

Vulnerability Analysis of CSP Based on Stochastic Game Theory
by: Jiajun Shen, et al.
Published: (2016-01-01)

Relatipoship between the reactivities of different classes of nucleophiles towards Csp2 and Csp3 electrophilic centers
by: Antipova, Anna
Published: (2015)

The Application of CSP in Timetabling System Design
by: Chia-Ying Tsai, et al.
Published: (2003)

A development method for deriving reusable concurrent programs from verified CSP models
by: Dibley, James
Published: (2019)

Over-constrained systems in CLP and CSP
by: Jampel, Michael Benjamin
Published: (1996)

CSPα—Chaperoning Presynaptic Proteins
by: Julien eDonnelier, et al.
Published: (2014-04-01)

Exploiting Structure in CSP-related Problems
by: Färnqvist, Tommy
Published: (2013)

General dynamic recovery for compensating CSP
by: Abeer S. Al-Humaimeedy, et al.
Published: (2014-03-01)

The semantics and implementation of machine-readable CSP
by: Scattergood, Bryan
Published: (1998)

Complexity Dichotomies for CSP-related Problems
by: Nordh, Gustav
Published: (2007)

Semantics of an optional parallel operator for CSP
by: Steyn, Theunis J.
Published: (2015)

Mapeando CSP em UML-RT
by: Messias da Silva Menezes Junior, Manoel
Published: (2014)

A Study of Hybrid GA/CSP Method
by: Yu-Sheng Liao, et al.
Published: (1999)

Hybridization with CSP in a Cuban sugar mill
by: Vesterberg, Iris, et al.
Published: (2018)

A CSP Account of Event-B Refinement
by: Heike Wehrheim, et al.
Published: (2011-06-01)

A CSP approach to the analysis of security protocols
by: Hui, Mei Lin
Published: (2001)

Visualization Mechanisms for Program Flow Structure Analysis and Comparison
by: Shih-Ting Yeh, et al.
Published: (2016)

Leaf-like CuO nanosheets on rGO as an efficient heterogeneous catalyst for Csp-Csp homocoupling of terminal alkynes
by: Bin Wang, et al.
Published: (2021-02-01)

A refinement based strategy for locally verifying networks of CSP processes
by: ANTONINO, Pedro Ribeiro Gonçalves
Published: (2015)

A Visual Programming Environment Based on VTK for Scientific Visualization
by: Yi-Ping Lu, et al.
Published: (2010)

The Study of Laser Cutting Parameters for The CSP Package
by: WU, CHUN-HSIEN, et al.
Published: (2019)

Cannot write session to /tmp/vufind_sessions/sess_9vdt6pkaj4sa6vbnk3tq7bubhi