检索结果 - (transition or transitions) on control, (automation or automatic) and systems engineering

1

Intelligent Data Engineering and Automated Learning - IDEAL 2005 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings /

出版 2005

书本目录: “...Data Mining and Knowledge Engineering -- EXiT-B: A New Approach for Extracting Maximal Frequent...”
获取全文

电子电子书

2

Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings /

出版 2010

书本目录: “... -- Automatic Generation of History-Based Access Control from Information Flow Specification -- Auxiliary...”
获取全文

电子电子书

3

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings /

出版 2013

书本目录: “... Execution Engine -- MoTraS: A Tool for Modal Transition Systems and Their Extensions -- Cunf: A Tool...”
获取全文

电子电子书

4

Technological Developments in Networking, Education and Automation

出版 2010

书本目录: “... Controller (PLC) Laboratory -- Stereo Spectral Imaging System for Plant Health Characterization -- Transition...”
获取全文

电子电子书

5

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

出版 2013

书本目录: “... Strategies for Education in Engineering for Virtual Team Development -- New Automated Assembly Model Based...”
获取全文

电子电子书

6

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /

出版 2012

书本目录: “... Models: A Controlled -- Transition to Model-Driven Engineering: What Is Revolutionary, What Remains...”
获取全文

电子电子书

7

Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013, Proceedings /

出版 2013

书本目录: “... Representation of Discrete Order 2 MAP and RAP.- Encoding Timed Models as Uniform Labeled Transition Systems.- A...”
获取全文

电子电子书

8

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

出版 2005

书本目录: “... Generation and Exploration on Shared-Memory Architectures -- Towards Automated Controlling of Human...”
获取全文

电子电子书

9

Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II /

出版 2015

书本目录: “... Control Systems -- The Qualitative and Quantitative Support Method for Capability Based Planning of Armed...”
获取全文

电子电子书

10

Metric Driven Design Verification An Engineer's and Executive's Guide to First Pass Success /

由 Carter, Hamilton B., Carter, Hamilton B., Hemmady, Shankar G.
出版 2007

书本目录: “...Analyzing And Driving Verification: An Executive's Guide -- The Verification Crisis -- Automated...”
获取全文

电子电子书

11

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings /

出版 2007

书本目录: “... -- Handling Malicious Code on Control Systems -- Management of Groups and Group Keys in Multi-level Security...”
获取全文

电子电子书

12

Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part I...

出版 2010

书本目录: “... Antenna Array System -- Automatic Parameter Tuning with Metaheuristics of the AODV Routing Protocol...”
获取全文

电子电子书

13

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /

出版 2014

书本目录: “... of Distributed Systems -- Automated Real Proving in PVS via MetiTarski -- Quiescent Consistency: Defining...”
获取全文

电子电子书

14

FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings /

出版 2006

书本目录: “...Invited Talk -- The Embedded Systems Design Challenge -- Interactive Verification -- The Mondex...”
获取全文

电子电子书

15

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

出版 2010

书本目录: “... Control Software for Discrete Time Linear Hybrid Systems -- Safety Verification for Probabilistic Hybrid...”
获取全文

电子电子书

16

Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I /

出版 2010

书本目录: “... for Transition System -- Research on Optimization Design of Bottom Angle of Drag-Reducing Structure...”
获取全文

电子电子书

17

Artificial Intelligence Perspectives and Applications Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 1: Artificial Intelligence Perspectives and Ap...

出版 2015

书本目录: “... Coordinator Agent in Multi-Agent Automation Environment of Transit Cargo Terminal -- On The Performance...”
获取全文

电子电子书

18

Advances in Computation and Intelligence Second International Symposium, ISICA 2007, Wuhan, China, September 21-23, 2007, Proceedings /

出版 2007

书本目录: “... Anomalies -- Dynamic System Evolutionary Modeling: The Case of SARS in Beijing -- An Tableau Automated...”
获取全文

电子电子书

缩小搜索