Differencing labeled transition systems

Differencing labeled transition systems

10.1007/978-3-642-24559-6_36

Saved in:

書目詳細資料
Main Authors:	Xing, Z., Sun, J., Liu, Y., Dong, J.S.
其他作者:	TEMASEK LABORATORIES
格式:	Conference or Workshop Item
出版:	2013
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/43172
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Differencing labeled transition systems
由: XING, Zhenchang, et al.
出版: (2011)

CloneDiff - Semantic differencing of clones
由: Xue, Y., et al.
出版: (2013)

Statistical log differencing
由: BAO, Lingfeng, et al.
出版: (2019)

Exponential-time differencing schemes for low-mass DPD systems
由: Phan-Thien, N., et al.
出版: (2014)

Automatic adaptation of software applications to database evolution by graph differencing and AOP-based dynamic patching
由: Song, Y., et al.
出版: (2013)

Using finite-state models for log differencing
由: AMAR, Hen, et al.
出版: (2018)

X-differencing and dynamic panel model estimation
由: HAN, Chirok, et al.
出版: (2014)

Differencing UML models: A domain-specific vs. a domain-agnostic method
由: Mikhaiel, R., et al.
出版: (2014)

No-cointegration test based on fractional differencing: Some Monte Carlo results
由: Tse, Y.K., et al.
出版: (2011)

No-Cointegration Test Based on Fractional Differencing: Some Monte Carlo Results
由: TSE, Yiu Kuen, et al.
出版: (1999)

Maximum likelihood estimation of the fractional differencing parameter in an ARFIMA model using wavelets
由: Tse, Y.K., et al.
出版: (2011)

Maximum Likelihood Estimation of the Fractional Differencing Parameter in an Arfima Model Using Wavelets
由: TSE, Yiu Kuen, et al.
出版: (2002)

TransplantFix: Graph differencing-based code transplantation for automated program repair
由: YANG, Deheng, et al.
出版: (2022)

TRANSFORMASI CHANNEL SYSTEM KE LABELLED TRANSITION SYSTEM
由: , SITI MUTMAINAH, et al.
出版: (2012)

METODE UPWIND DIFFERENCING UNTUK MODEL PERUBAHAN TEMPERATUR PADA ALAT PENDINGIN UDARA DARI PEMBANGKIT TENAGA DIESEL
由: , Dra. Endang Mawarsih, et al.
出版: (2013)

CHANGE DETECTION OF LAND COVER IN SEMARANG CITY, FROM 1994 TO 2007 USING THE POST-CLASSIFICATION COMPARISON, NDVI, AND URBAN INDEX DIFFERENCING.
由: , Andrew Mulabbi, et al.
出版: (2011)

SpecDiff: Debugging formal specifications
由: Xing, Z., et al.
出版: (2013)

Analyzing hierarchical complex real-time systems
由: Liu, Y., et al.
出版: (2013)

Scalable multi-core model checking fairness enhanced systems
由: Liu, Y., et al.
出版: (2013)

Nonparametric label-to-region by search
由: Liu, X., et al.
出版: (2013)

A model checker for hierarchical probabilistic real-time systems
由: Song, S., et al.
出版: (2013)

Automatic labeling hierarchical topics
由: Mao, X.-L., et al.
出版: (2013)

The role of the mitochondrial permeability transition in cell death
由: Armstrong, J.S.
出版: (2011)

Context awareness systems design and reasoning
由: Dong, J.S., et al.
出版: (2013)

Fashion parsing with weak color-category labels
由: Liu, S., et al.
出版: (2014)

Tetrazine-containing amino acid for peptide modification and live cell labeling
由: Ni Z., et al.
出版: (2019)

Specifying and verifying event-based fairness enhanced systems
由: Sun, J., et al.
出版: (2013)

A symbolic model checking framework for hierarchical systems
由: Nguyen, T.K., et al.
出版: (2013)

Verification of orchestration systems using compositional partial order reduction
由: Tan, T.H., et al.
出版: (2013)

Improved BDD-based discrete analysis of timed systems
由: Nguyen, T.K., et al.
出版: (2013)

Using monterey phoenix to formalize and verify system architectures
由: Zhang, J., et al.
出版: (2013)

PRTS: An approach for model checking probabilistic real-time hierarchical systems
由: Sun, J., et al.
出版: (2013)

Evolution and runtime monitoring of software systems
由: Liang, H., et al.
出版: (2014)

Automatic compositional verification of timed systems
由: Lin, S.-W., et al.
出版: (2013)

Learning assumptions for compositionalverification of timed systems
由: Lin, S.-W., et al.
出版: (2014)

Efficient label encoding for range-based dynamic XML labeling schemes
由: Xu, L., et al.
出版: (2013)

A verification system for timed interval calculus
由: Chen, C., et al.
出版: (2013)

State, event, time and diagram in system modeling
由: Dong, J.S.
出版: (2013)

PSyHCoS: Parameter synthesis for hierarchical concurrent real-time systems
由: André, É., et al.
出版: (2014)

Labeling XML documents
由: Lu, J., et al.
出版: (2014)