Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Formal Aspects of Computing
Metadaten
Titel
Collaborative models for autonomous systems controller synthesis
verfasst von
Douglas Fraser
Ruben Giaquinta
Ruth Hoffmann
Murray Ireland
Alice Miller
Gethin Norman
Publikationsdatum
16.04.2020
Verlag
Springer London
Erschienen in
Formal Aspects of Computing / Ausgabe 2-3/2020
Print ISSN: 0934-5043
Elektronische ISSN: 1433-299X
DOI
https://doi.org/10.1007/s00165-020-00508-1

Weitere Artikel der Ausgabe 2-3/2020

Formal Aspects of Computing 2-3/2020 Zur Ausgabe

Original Article

PuRSUE -from specification of robotic environments to synthesis of controllers

Editorial

Editorial

OriginalPaper

Formal Verification of Robotic Cell Injection systems up to 4-DOF using HOL Light

Original Article

Legislation-driven development of a Gift Aid system using Event-B

Original Paper

Runtime enforcement of timed properties using games

Original Article

Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP