Sökresultat - (transactions or transitions) on control, (automation or automatic) and systems engineering

1

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

Publicerad 2005

Innehållsförteckning: “... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”
Hämta fulltext

Elektronisk E-bok

2

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

Publicerad 2014

Innehållsförteckning: “... of Distributed Systems -- Automated Real Proving in PVS via MetiTarski -- Quiescent Consistency: Defining...”
Hämta fulltext

Elektronisk E-bok

3

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

Publicerad 2015

Innehållsförteckning: “... Coordinator Agent in Multi-Agent Automation Environment of Transit Cargo Terminal -- On The Performance...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen