Formal Requirements Engineering Using Observer Models
暂无分享,去创建一个
[1] Martín Abadi,et al. The Existence of Refinement Mappings , 1988, LICS.
[2] Jonathan K. Millen,et al. CAPSL: Common Authentication Protocol Specification Language , 1996, NSPW '96.
[3] Heiko Mantel,et al. Possibilistic definitions of security-an assembly kit , 2000, Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13.
[4] Dieter Hutter,et al. VSE: Controlling the Complexity in Formal Software Developments , 1998, FM-Trends.
[5] Andreas Nonnengart,et al. Using Hybrid Automata to Express Realtime Properties in VSE-II , 2001, FLAIRS Conference.
[6] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[7] Thomas A. Henzinger,et al. HYTECH: The Cornell HYbrid TECHnology Tool , 1994, Hybrid Systems.
[8] Paolo Traverso,et al. Applied Formal Methods — FM-Trends 98 , 1998, Lecture Notes in Computer Science.
[9] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[10] Jörg H. Siekmann,et al. Deduction in the Verification Support Environment (VSE) , 1996, FME.
[11] Catherine A. Meadows,et al. The NRL Protocol Analyzer: An Overview , 1996, J. Log. Program..
[12] Panos J. Antsaklis,et al. Hybrid Systems II , 1994, Lecture Notes in Computer Science.