

Formal Modeling and Analysis of Timed Systems
611,-

Algorithms for Sensor Systems
584,-

Modelling and Simulation for Autonomous Systems
476,-

Modelling and Simulation for Autonomous Systems
584,-

Formal Modeling and Analysis of Timed Systems
611,-

Advances in Practical Applications of Agents, Multi-agent Systems, and Cognitive Mimetics. the Paams Collection
791,-

Advances in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection
584,-

Cyber Physical Systems. Design, Modeling, and Evaluation
584,-

Software Engineering and Formal Methods
737,-

Software Engineering and Formal Methods
674,-

Formal Modeling and Analysis of Timed Systems
611,-

Algorithms for Sensor Systems
584,-

Modelling and Simulation for Autonomous Systems
476,-

Modelling and Simulation for Autonomous Systems
584,-

Formal Modeling and Analysis of Timed Systems
611,-

Advances in Practical Applications of Agents, Multi-agent Systems, and Cognitive Mimetics. the Paams Collection
791,-

Advances in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection
584,-

Cyber Physical Systems. Design, Modeling, and Evaluation
584,-

Software Engineering and Formal Methods
737,-

Software Engineering and Formal Methods
674,-













