Amanote Research

Amanote Research

    RegisterSign In

Rigorous System Design Flow for Autonomous Systems

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-662-45234-9_13
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2014

Authors
Saddek BensalemMarius BozgaJacques CombazAhlem Triki
Publisher

Springer Berlin Heidelberg


Related search

Long-Duration Environmentally-Adaptive Autonomous Rigorous Naval Systems

2014English

Rigorous Design of Cyber-Physical Systems

2012English

Rigorous System Design: The BIP Approach

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Design of an Autonomous Transport System for Coastal Areas

TransNav
TransportationOcean EngineeringOceanography
2018English

Sensor-Based Collision Avoidance for Rope-Suspended Autonomous Material Flow Systems

IFAC Proceedings Volumes
2005English

Hyperproperties-Based Optical Flow-Based Autonomous Driving System

Asian Journal of Pharmaceutical and Clinical Research
PharmacologyPharmaceutical Science
2017English

Decentralized and Autonomous Design for FDI/FTC of Networked Control Systems

2007English

On the Design of Distributed Autonomous Embedded Systems for Biomedical Applications

2009English

Producing the Rigorous Design Case

International Journal of Designs for Learning
1969English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy