( en | de | ru )

 

Disambiguierung von "Smolka, Scott A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems.

, , , , , und . CoRR, (2017)

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.

Martina Christine Scotti

Pierre-François Scotto

Peter Scott

Horst Smolka

Ernst Smolka

 

Weitere Publikationen von Autoren mit dem selben Namen

Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives., und . IEEE Trans. Software Eng., 9 (4): 446-462 (1983)Strategic Directions in Computing Research-Concurrency Working Group Report., und . Bulletin of the EATCS, (1996)Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study., , , , und . AMAST, Volume 1349 von Lecture Notes in Computer Science, Seite 185-198. Springer, (1997)Distributed prototyping from validated specifications., , und . J. Syst. Softw., 70 (3): 275-298 (2004)Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking., , , und . Int. J. Softw. Tools Technol. Transf., 4 (4): 505-528 (2003)On the Analysis of Cooperation and Antagonism in Networks of Communicating Processes., und . Algorithmica, (1988)A Completely Distributed and Message-Efficient Implementation of Synchronous Multiprocess Communication., und . ICPP (3), Seite 311-318. Pennsylvania State University Press, (1990)0-271-00728-1.Specification and evaluation of logic-based model checking., , , und . ACM SIGSOFT Softw. Eng. Notes, 25 (1): 73-74 (2000)A complete axiom system for finite-state probabilistic processes., und . Proof, Language, and Interaction, Seite 571-596. The MIT Press, (2000)A CCS semantics for NIL., und . Formal Description of Programming Concepts, Seite 347-376. North-Holland, (1987)