吉莉安·希尔
人员信息
SPARQL查询
优化列表
2000 – 2009
2006 [注2] 吉莉安·希尔 , 史蒂文·维克斯 :
一种用于配置多级规范的语言。 西奥。 计算。 科学。 351 ( 2 ) : 146-166 ( 2006 ) 2004 【c6】 吉莉安·希尔 , 史蒂文·维克斯 :
配置多级规范的语言。 AMAST公司 2004 : 196-210 2001 【b1】 吉莉安·安·希尔 :
用于配置系统的语言。 英国伦敦帝国理工学院, 2001 [j1] 史蒂文·维克斯 , 吉莉安·希尔 :
根据配置规范进行预升。 形式方面计算。 13 ( 1 ) : 32-49 ( 2001 )
1990 – 1999
1997 【c5】 吉莉安·希尔 :
复杂系统的体系结构。 欧洲广播公司 1997 : 189-201 1995 【c4】 吉莉安·希尔 :
系统构建的逻辑方法。 欧洲广播公司 1995 : 30-47 1994 【c3】 吉莉安·希尔 :
复杂系统的配置。 铸件 1994 : 46-64 [c2] 吉莉安·希尔 :
在KZ学说中构建规范和模块。 理论与形式方法 1994 : 217-233 1993 【c1】 吉莉安·希尔 :
复杂系统配置的范畴理论。 AMAST公司 1993 : 193-200