Bilaketaren emaitzak - (transition or transactions) on control, (automation or automatic) and systems engineering

1

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

Argitaratua 2005

Aurkibidea: “... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”
Testu osoa

Baliabide elektronikoa eBook

2

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

Argitaratua 2014

Aurkibidea: “... of Distributed Systems -- Automated Real Proving in PVS via MetiTarski -- Quiescent Consistency: Defining...”
Testu osoa

Baliabide elektronikoa eBook

3

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

Argitaratua 2015

Aurkibidea: “... Coordinator Agent in Multi-Agent Automation Environment of Transit Cargo Terminal -- On The Performance...”
Testu osoa

Baliabide elektronikoa eBook

Emaitzak murriztu