-
1
-
-
84900494500
-
-
Chinese source
-
2010, 6 (1): 25-29.
-
(2010)
, vol.6
, Issue.1
, pp. 25-29
-
-
-
2
-
-
57849129123
-
Computing foundations and practice for cyber-physical systems: A preliminary report
-
Technical Report No. UCB/EECS-2007-72, May 2007. USA: University of California at Berkeley
-
Edward A Lee. Computing Foundations and Practice for Cyber-Physical Systems: A Preliminary Report [R] // Technical Report No. UCB/EECS-2007-72, May 2007. USA: University of California at Berkeley, 2007.
-
(2007)
-
-
Lee, E.A.1
-
3
-
-
84868569868
-
A comprehensive co-simulation platform for cyber-physical systems
-
Amsterdam, Holland: Elsevier
-
Ahmad T. Al-Hammouri. A comprehensive co-simulation platform for cyber-physical systems [J]. Computer Communications (S0140-3664), Amsterdam, Holland: Elsevier, 2012, 36 (1): 8-19.
-
(2012)
Computer Communications (S0140-3664)
, vol.36
, Issue.1
, pp. 8-19
-
-
Al-Hammouri, A.T.1
-
4
-
-
77954001743
-
High confidence software for cyber-physical systems
-
New York, NY. USA: ACM
-
Sherif Abdelwahed, Nagarajan Kandasamy, Aniruddha Suresh Gokhale. High Confidence Software for Cyber-Physical Systems [C] // Proceedings of the 2007 workshop on Automating service quality: Held at the International Conference on Automated Software Engineering (ASE), New York, NY. USA: ACM, 2007: 1-3.
-
(2007)
Proceedings of the 2007 workshop on Automating service quality: Held at the International Conference on Automated Software Engineering (ASE)
, pp. 1-3
-
-
Abdelwahed, S.1
Kandasamy, N.2
Gokhale, A.S.3
-
5
-
-
84900497261
-
Cyber-physical systems modeling and simulation with modelica
-
Proceedings 8th Modelica Conference, Dresden, Germany, March 20-22, Sweden: Modelica Association
-
Dan Henriksson, Hilding Elmqvist. Cyber-Physical Systems Modeling and Simulation with Modelica [R] // Proceedings 8th Modelica Conference, Dresden, Germany, March 20-22, 2011. Sweden: Modelica Association, 2011: 502-509.
-
(2011)
, pp. 502-509
-
-
Henriksson, D.1
Elmqvist, H.2
-
6
-
-
84900517330
-
Execution of UML state machines using modelica
-
Oslo, Norway. Sweden: Link?ping University Electronic Press
-
Philipp Helle, Carsten Strobel. Execution of UML State Machines Using Modelica [C] // 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, October, 2010, Oslo, Norway. Sweden: Link?ping University Electronic Press, 2010: 1-10.
-
(2010)
3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools
, pp. 1-10
-
-
Helle, P.1
Strobel, C.2
-
7
-
-
77953260189
-
Using AADL in model driven development
-
Canals A., Gerard S. and Perseil I., eds., Washington, USA: IEEE Computer Society Press
-
Delanote D, van Baelen S, Joosen W, Berbers Y. Using AADL in model driven development [C] // Canals A, Gerard S, Perseil I, eds. Proc. of the Int'l Conf. on Engineering Complex Computer Systems. Washington, USA: IEEE Computer Society Press, 2007: 1-10.
-
(2007)
Proc. of the Int'l Conf. on Engineering Complex Computer Systems
, pp. 1-10
-
-
Delanote, D.1
van Baelen, S.2
Joosen, W.3
Berbers, Y.4
-
8
-
-
80054983784
-
Mapping Simulink to UML in the design of embedded systems: Investigating scenarios and transformations
-
Germany: Heinz-Nixdorf-Inst
-
Sj?stedt C J, Shi J, Törngren M, Servat D, Chen D, Ahlsten V, Lönn H. Mapping Simulink to UML in the design of embedded systems: Investigating scenarios and transformations [C] // OMER4 Workshop: 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems, (2007). Germany: Heinz-Nixdorf-Inst, 2007.
-
(2007)
OMER4 Workshop: 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems
-
-
Sjöstedt, C.J.1
Shi, J.2
Törngren, M.3
Servat, D.4
Chen, D.5
Ahlsten, V.6
Lönn, H.7
-
9
-
-
84900499058
-
-
Chinese source
-
2009, 21 (02): 320-324+334.
-
(2009)
, vol.21
, Issue.2
-
-
-
10
-
-
84900481308
-
-
Chinese source
-
2009, 14: 4284-4287.
-
(2009)
, vol.14
, pp. 4284-4287
-
-
|