中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-5 of 5)

Filters    
Items/Page:    Sort:
Layered Architecture for Secure E-Commerce Applications [专著章节/文集论文]
出自: SECRYPT, Portugal:INSTICC Press, 2006-01-01
Amir Herzberg; Igal Yoffe
  |  
 
Formal specification and refinement of a safe train control function [专著章节/文集论文]
出自: Formal methods for embedded distributed systems: how to master the complexity, Norwell, MA, USA:Kluwer Academic Publishers, 2004-01-01
V. Winter; D. Kapur; G. Fuehrer
  |  
 
Real-time character animation using puppet metaphor [专著章节/文集论文]
出自: Entertainment Computing: Technologies and Applications (IFIP Advances in Information and Communication Technology), Springer-Verlag in Berlin:Springer, 2003-02-28
Yoshihiro Okada
  |  
 
Safety for branching time semantics [专著章节/文集论文]
出自: Lecture Notes in Computer Science, Berlin / Heidelberg:Springer, 1991-01-01
A. Bouajjani; J. C. Fernandez; S. Graf; C. Rodriguez; J. Sifakis
  |  
 
Trace theory [专著章节/文集论文]
出自: Lecture Notes in Computer Science, Berlin / Heidelberg:Springer Berlin / Heidelberg, 1987-01-01
Antoni Mazurkiewicz
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace