×
作者ID: 希弗勒s.r-r-hSchiffellers,R.R.H.最近发表的zbMATH文章
发布日期: R.R.H.希弗勒。
已编制索引的文档: 5出版物自2004年起
合著者: 7合著者具有5联合出版物
124位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

4出版物有被引用30中的次24文件 引用人 年份
混合Chi的语法和一致方程语义。 Zbl 1088.68111号
van Beek博士。曼,K.L。Reniers,医学硕士。罗达,J.E。R.R.H.希弗勒。
22
2006
混合系统组合交换格式的基础。 Zbl 1221.68152号
van Beek博士。Reniers,医学硕士。R.R.H.希弗勒。罗达,J.E。
4
2007
混合Chi的形式语义。 Zbl 1099.68651号
R.R.H.希弗勒。van Beek博士。曼,K.L。Reniers,医学硕士。罗达,J.E。
2004
基于模型的嵌入式系统工程使用混合进程代数Chi。 Zbl 1279.68245号
巴顿,J.C.M。van Beek博士。P.J.L.Cuijpers。Reniers,医学硕士。罗达,J.E。R.R.H.希弗勒。托尼森,R.J.M。
1
2008
基于模型的嵌入式系统工程使用混合进程代数Chi。 Zbl 1279.68245号
巴顿,J.C.M。van Beek博士。P.J.L.Cuijpers。Reniers,医学硕士。罗达,J.E。R.R.H.希弗勒。托尼森,R.J.M。
1
2008
混合系统组合交换格式的基础。 Zbl 1221.68152号
van Beek博士。Reniers,医学硕士。R.R.H.希弗勒。罗达,J.E。
4
2007
混合Chi的语法和一致方程语义。 Zbl 1088.68111号
van Beek博士。曼,K.L。Reniers,医学硕士。罗达,J.E。R.R.H.希弗勒。
22
2006
混合Chi的形式语义。 Zbl 1099.68651号
R.R.H.希弗勒。van Beek博士。曼,K.L。Reniers,医学硕士。罗达,J.E。
2004

按年份列出的引文