( en | de | ru )

 

Disambiguierung von "Rosenblueth, David A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model Checking of Transition-Labeled Finite-State Machines.

, und . FGIT-ASEA/DRBC/EL, Volume 257 von Communications in Computer and Information Science, Seite 61-73. Springer, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

lin A David

David A Traill

David A Lazica

David A Wuttke

David A M Goslings

 

Weitere Publikationen von Autoren mit dem selben Namen

Deliberative Self-Organizing Traffic Lights with Elementary Cellular Automata., , und . Complex., (2017)Model-to-Model Transformations for Efficient Time-domain Verification of Concurrent Models by NuSMV Modules., , und . MODELSWARD, Seite 287-298. SCITEPRESS, (2020)Random Networks with Quantum Boolean Functions., , , und . ALIFE, Seite 94. MIT Press, (2021)A Multiple-Clause Folding Rule Using Instantiation and Generalization.. Fundam. Informaticae, 69 (1-2): 219-249 (2006)Semantic reasoning in service robots using expert systems., , , , , , , , und . Robotics Auton. Syst., (2019)The Dynamically Extended Mind -- A Minimal Modeling Case Study, , und . CoRR, (2013)Model Checking Applied to Humanoid Robotic Soccer., und . TAROS, Volume 7429 von Lecture Notes in Computer Science, Seite 256-269. Springer, (2012)Chart Parsers as Proof Procedures for Fixed-Mode Logic Programs.. FGCS, Seite 1125-1132. IOS Press, (1992)Learning Models from Temporal-Logic Properties via Explanations., und . ExaCt, Volume WS-07-06 von AAAI Technical Report, Seite 10-13. AAAI Press, (2007)Efficient Modelling of Embedded Software Systems and their Formal Verification., , und . APSEC, Seite 428-433. IEEE, (2012)