참고문헌
- Journal of Systems Software v.28 The practice of formal methods in safety-critical systems Liu, S.;Stavridou, V.;Dutertre, B.
- IEEE Software Experience with formal methods in critical systems Gerhart, S.;Craigen, D.;Ralston, T.
- Proceedings of the Int'l Conf. on Concurrent Engineering and Electronic Design Automation (CEEDA) '94 VHDL simulation for fault diagnosis in logic circuits based on effect-cause analysis algorithm Khamis, M.;Vansteekiste, G.C.
- Ten Commandments of formal methods Bowen, J.P.;Hinchey, M.G.
- IEEE Computer An invitation to formal methods Saiedian, H.
- Control Systems of Variable Structure Itkis, Y.
- IEEE Trans. on Industrial Electronics v.40 no.1 Variable structure control: A survey Hung, J.Y.;Gao, W.;Hung, J.C.
- IEEE Trans. on Industrial Electronics v.40 no.1 VSS Type self-tuning control Furuta, K.
- IEEE Trans. on Industrial Electronics v.40 no.1 Variable structure control of nonlinear systems: A new approach Gao, W.;Hung, J.C.
- IEEE Trans.on Industrial Electronics v.42 no.2 Discrete-time variable structure control systems Gao, W.;Wang, Y.;Homaifu, A.
- Architecture of Systems Problem Solving Klir, G.J.
- Multifacetted Modelling and Discrete Event Simulation Zeigler, B.P.
- Proc. of AIS '96 Open-DEVS:A proposal for a standardized DEVS Model exchange format Thomas, C.;Luckhoff, H.;Kim, T.G.
- Proc. of the 1992 European Simulation Multiconference The DEVS formalism: Hierarchical mocular systems specificaiton in C++ Kim, T.G.;Park, S.
- Proc. of European Simulation Multiconference (ESM '93) OO/DEVS:A smalltalk implementation of the DEVS formalism Ninios, P.;Vlahos, K.;Bunn, D.W.
- Proc. of European Simulation Symposium (ESS '93) Modelling and simulation of an integrated circuit assembly flow-shop in DEVS-V Barros, F.J.;Mendes, M.T.
- Proc. of the 1992 European Simulation Multiconference (ESM '92) Performance modeling of cache memory in multiprocessor system using DEVS methodology Lee, K.H.;Kim, T.G.;Lee, W.H.
- Proc. of the 5th Annual Conference on AI, Simulation, and Planning in High Autonomy Systems (AIS '94) Performance analysis of distributed access node system using DEVSim++ framework Lee, K.H.;Kim, T.G.
- Trans. of The Society for Computer Simulation Knowledgement representation in variable structure modeling: An adaptive computer architecture example Zeigler, B.P.;Kim, T.G.
- Trans. of The Society for Computer Simulation v.7 no.4 Variable structure modelling methodology: An adaptive computer architecture example Zeigler, B.P.;Kim, T.K.;Lee, C.G.
- Trans. of The Society for Computer Simulation v.13 no.1 Dynamic structure discrete event system specification Barros, F.J.
- Proc. of the 5th Annual Conference on AI, Simulation, and Planning in High Autonomy Systems Distributing and maintaining knowledge: Agents in variable structure environment Uhrmacher, A.M.;Arnold, R.
- Object Oriented Simulation Reusable simulation models in an object oriented framework Kim, T.G.;Ahn, M.S.
- Int'l Symp. on Subscriber Loops and Services Design considerations of broadband subscriber access network Choi, K.(et al)
- ATM Forum, ATM UNI specification, Ver. 3.1
- ITU-T Rec.Q.2931, B-ISDN access signaling system DSS no. 2
- ITU-T Rec. I.610, B-ISDN OAM principles and functions
- ETRI Journal v.15 no.2 A modeling tool for X-window application software development Lee, J.S.(et al)