建模International定时Conference
ComponentsMethodsObjects海外
ApplicationsVerificationLeveragingValidation
InternationalTechniquesCriticalWorkshop
2018International语法Conference
International第三届TeachingWorkshop
ApplicationsFoundationsBrazilianSymposium
形式化ProceedingsCADAdvances
形式化结构化InternationalStructured
软件工程EngineeringCollocatedWorkshops
系统工程InformationEngineeringApproach
International组件ComponentSymposium
奥勒Orientation面向对象
图书馆员教育工作者ApplicationsLibrarians
原版英文英语Architecture
语义VHDLSemantics形式
9783739241241VerificationConcurrentEmbedded
理系统建模InternationalVerification
InternationalIndustrialCriticalWorkshop
原版书籍英文注解
自动机ApplicationsPropertiesAutomata
形式逻辑反证Disproof证明
Formal软件工程International第四届
验证ApplicationsVerificationLeveraging
SpecificationsFoundations实时Computing
项目开发IfipDevelopment2.1
形式化方法FormalInternationalDynamical
结构化InternationalStructuredOriented
InternationalComponents组件Symposium
形式化模块化SpecificationEngineering
InternationalArgumentation论证Applications
分布式DistributedTechniquesComponents
InternationalWebServicesWorkshop
形式化Techniques海外数据库
2009Methods海外正式
分布式Distributed基于对象
分布式DistributedTechniquesNetworked
喀麦隆非正规视觉艺术1976
