×
作者ID: 瓦尔登·马利纳“Waldén,Marina”最近发表的zbMATH文章
发布日期: 瓦尔登,玛丽娜;瓦尔登,M。
已编制索引的文档: 9出版物自1999年起
4作为编辑的贡献
合著者: 11位合著者具有12联合出版物
99位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

7出版物有被引用18中的次9文件 引用人 年份
异步系统综合。 Zbl 1075.68618号
普洛西拉,J。;塞雷,K。;瓦尔登,M。
4
2005
通过Event-B模型的逐步调度导出并发程序。 Zbl 1342.68056号
博斯特罗姆,蓬图斯;弗雷德里克·德格隆德;塞雷,凯萨;瓦尔登,玛丽娜
4
2014
远程过程的数据优化。 Zbl 0972.68013号
塞雷,凯萨;瓦尔登,玛丽娜
2000
使用精化演算框架逐步开发Simulink模型。 Zbl 1147.68826号
博斯特罗姆,蓬图斯;莱昂内尔·莫雷尔;瓦尔登,玛丽娜
2007
ZB 2003:Z和B的正式规范和开发。第三届B和Z用户国际会议,芬兰图尔库,2003年6月4-6日。诉讼程序。 1020.00016兹罗提
2
2003
分布式计算的拓扑方法。 Zbl 0966.68011号
路易吉亚·皮特;塞雷,凯萨;瓦尔登,玛丽娜
1
1999
构建和验证分布式算法。 Zbl 0985.68091号
塞雷,凯萨;瓦尔登,玛丽娜
1
2001
通过逐步调度Event-B模型来派生并发程序。 Zbl 1342.68056号
博斯特罗姆,蓬图斯;弗雷德里克·德格隆德;塞雷,凯萨;瓦尔登,玛丽娜
4
2014
使用精化演算框架逐步开发Simulink模型。 Zbl 1147.68826号
博斯特罗姆,蓬图斯;莱昂内尔·莫雷尔;瓦尔登,玛丽娜
2007
异步系统综合。 Zbl 1075.68618号
普洛西拉,J。;塞雷,K。;瓦尔登,M。
4
2005
ZB 2003:Z和B的正式规范和开发。第三次B和Z用户国际会议,芬兰图尔库,2003年6月4日至6日。诉讼程序。 1020.00016兹罗提
2
2003
构建和验证分布式算法。 Zbl 0985.68091号
塞雷,凯萨;瓦尔登,玛丽娜
1
2001
远程过程的数据优化。 Zbl 0972.68013号
塞雷,凯萨;瓦尔登,玛丽娜
2000
分布式计算的拓扑方法。 Zbl 0966.68011号
路易吉亚·皮特;塞雷,凯萨;瓦尔登,玛丽娜
1
1999

按年份列出的引文