按条件检索“9”条记录

已选条件: 资源类型: 外文会议论文 ×
导出
  • 排序
  • 显示
7. Theorem prover support for precondition and correctness calculation EI

作者:Celiku, Orieta ;Von Wright, Joakim

作者机构:[Celiku, Orieta ;Von Wright, Joakim ] Åbo Akademi University and Turku Centre for Computer Science, Lemminkäisenkatu 14 A, Turku, Finland

来源:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),2002,Vol.2495,299-310

收录类别:EI

会议时间:October 21, 2002 - October 25, 2002

会议名称:4th International Conference on Formal Engineering Methods, ICFEM 2002

资源类型:外文会议论文

8. SFI: A refinement based layered software architecture EI

作者:Back, Ralph-Johan

通讯作者:Back, Ralph-Johan(backrj@abo.fi)

作者机构:[Back, Ralph-Johan ] Åbo Akademi and Turku Centre for Computer Science, Lemminkainenk 14, Turku, Finland

来源:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),2002,Vol.2495,1-2

收录类别:EI

会议时间:October 21, 2002 - October 25, 2002

会议名称:4th International Conference on Formal Engineering Methods, ICFEM 2002

资源类型:外文会议论文

TOP