维普中文期刊产品整合服务
28篇 您的检索式:作者名="Plasil"
    题名 作者 年代 出处 被引量
1Behavior Protocols for Software Components显示文摘Plasil F Visnovsky S 0,,11:1
2Behavior Protocols for Software Components显示文摘Plasil F Visnovsky S 2002IEEE Trans on Software Engineering2002,28,11:1
3Ultrasound estimation of volume of pleural fluid in mechanically ventilated patients显示文摘M Balik P Plasil P Waldauf J Pazout M Fric M Otahal J Pachl 2006Intensive Care Medicine2006,,:1
4Behavior protocols for software components显示文摘Plasil F Visnovsky S 2002IEEE Transactions on Software Engineering November2002,28,11:1
5Ultrasound estimation of volume of pleural fluid in mechanically ventilated patients 显示文摘Balik M Plasil P Waldauf P 2006Intensive Care Med2006,32,2:1
6Model Checking of Component Behavior Specification: A Real Life Experience 显示文摘Jezek P Kofron J Plasil F 2006Electronic Notes in Theoretical Computer Science2006,160,:1
7Behavior Protocols for Software Compo nents显示文摘Plasil F Visnovsky S 2002IEEE Transactions on Software Engineering2002,28,11:1
8Behavior protocols for software compo-nents显示文摘PLASIL F VISNOVSKY S 2002IEEE Trans on Software Engineering2002,28,11:1
9Behavior protocols for software com- ponents显示文摘Plasil F Visnavsky S 2002IEEE Trans on Software Engineering2002,28,11:1
10Behavior Protocols for Software Components显示文摘Plasil F Visnovsky S 2002IEEE Transactions on Software Engineering2002,28,11:1
11Behavior protocols for software components显示文摘Plasil F Visnovsky S 2002IEEE Trans on Software Engineering2002,28,10:1
12Prostacyclin versus citrate in continuoushaemodiafiltration:an observational study in patients with high risk of bleeding显示文摘Balik M Waldauf P Plasil P 2005Blood Purif2005,23,4:1
13Behavior Protocols for Software Components显示文摘Frantisek Plasil 2002IEEE Trans on Software Engineering2002,28,11:1
14Mucin profiles in signetring cell carcinoma显示文摘Nguyen M D Plasil B Wen P 2006Arch Pathol Lab Med2006,130,:1
15Behavior Protocol Verification:Fighting State Explosion显示文摘Mach M Plasil F Kofron J 0,,01:1
16Behavior protocols for software components 显示文摘Plasil F Visnovsky S 2002IEEE Trans on Software Engineering2002,28,11:1
17Behavior Protocols for Software Com-ponents显示文摘Plasil F Visnovsky S 2002IEEE Transactions on Software Engineering2002,28,11:1
18Ultrasound estimation of volume of pleural fluid in mechanically ventilated patients显示文摘BALIK M PLASIL P WALDAUF P 0,,02:1
19Behavior protocol verification : Fighting state explosion 显示文摘Mach M Plasil F Kofron J 2005International Journal of Computer and Information Science2005,6,1:1
20Behavior Protocols for Software Compo- nents显示文摘Plasil F Visnovsky S 2002IEEE Transactions on Software Engineering2002,28,11:1
返回顶部 每页显示:
共2页 首页 上一页 第1页 下一页 末页 /2 跳转

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1 渝公网安备 50019002500403号 违法和不良信息举报中心

互联网出版许可证 新出网证(渝)字10号 全国400电话 - 免长途话费