Systems engineering : a formal approach. Part III. Modeling methods
暂无分享,去创建一个
[1] van Km Kees Hee,et al. Systems engineering : a formal approach. Part I. System concepts , 1993 .
[2] D. de Reus,et al. An implementation model for GOOD , 1991 .
[3] Jos C. M. Baeten,et al. A Congruence Theorem for Structured Operational Semantics with Predicates , 1993, CONCUR.
[4] Jan A. Bergstra,et al. Axiomatizing Probabilistic Processes: ACP with Generative Probabilities , 1995, Inf. Comput..
[5] W.M.P. van der Aalst,et al. The modelling and analysis of queueing systems with QNM-ExSpect , 1991 .
[6] Joost-Pieter Katoen,et al. Parallel programs for the recognition of P-invariant segments , 1991 .
[7] P. D. Moerland,et al. Exercises in multiprogramming , 1993 .
[8] Gjpm Geert-Jan Houben,et al. The GOOD based hypertext reference model , 1991 .
[9] Fairouz Kamareddine,et al. Non well-foundedness and type freeness can unify the interpretation of functional application , 1992 .
[10] van de E Edwin Sluis,et al. Performance analysis of VLSI programs , 1991 .
[11] Dick Alstein,et al. Dynamic reconfiguration in distributed hard real-time systems , 1991 .
[12] van Hpj Rik Geldrop. Deriving the Aho-Corasick algorithms : a case study into the synergy of programming methods , 1993 .
[13] Erik Poll,et al. Some categorical properties for a model for second order lambda calculus with subtyping , 1991 .