表征不确定性RepresentationsExperimental
9781466620926LanguagesPracticalSpecific
形式化辅助设计InternationalConference
ApplicationsVerificationLeveragingValidation
英文运算英文版原版
形式化方法软件工程建模Engineering
Specification预订FormalUse
预订MethodsSystemsBiology
形式化结构化InternationalStructured
2009Methods海外正式
分布式Distributed基于对象
Computing预订MethodsFormal
9783110597851预订AnalysisFormal
系统工程InformationEngineeringApproach
Specifications9783836422949FinancialModeling
预售SimulationIndustrialSymbolic
分布式DistributedTechniquesNetworked
原版英文英语英文版
自动机LanguageAutomata形式
容错形式化定时Techniques
Formal软件工程InternationalEngineering
第三届CongressMethods海外
预售IndustrialCriticalMethods
ReasoningCognitive预订Approach
建模International定时Conference
OnlineMake何在每月
InternationalConference组件Component
结构化InternationalStructuredOriented
InternationalComponents组件Symposium
InternationalWebServicesWorkshop
形式化Techniques海外数据库
Components预订MethodsObjects
波德莱尔福楼拜RevolutionBaudelaire
形式化方法System系统Perspective
Manufacturing9781466640344印刷Methods
NASA第六届InternationalSymposium
